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

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?