Bio: I enjoy obscure programming languages, mathematically structured programming, artificial intelligence, welcoming programming communities, deep focus, and meaningful work

LVCA: Language Verification, Construction, and Analysis

made by joel, submitted by nicholasbs
LVCA is a tool for building programming languages with a small core. You create a language by specifying (1) its syntax, (2) its statics (i.e., typechecking rules), (3) its dynamics (i.e.m, how it evaluates), and (4) its concrete syntax.

The algebra (and calculus!) of algebraic data types

made by joel, submitted by vaibhavsagar
A simple question with a profound answer: what can we do with the derivative of an algebraic data type?