~joel - Joy of Computing

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

Wednesday, Oct 16

LVCA: Language Verification, Construction, and Analysis (permalink)

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. — nicholasbs

Saturday, Mar 30

The algebra (and calculus!) of algebraic data types (permalink)

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? — vaibhavsagar