Programming Languages
armchair_progamer
•
3mo ago
•
100%
The algebra (and calculus!) of algebraic data types
https://codewords.recurse.com/issues/three/algebra-and-calculus-of-algebraic-data-typesThis blog post explains why algebraic data types are "algebraic" - how every algebraic data type corresponds to a mathematical equation - and describes some ways to use a type's corresponding equation to reason about the type itself.
Comments 0