The algebra (and calculus!) of algebraic data types
(codewords.recurse.com)

from armchair_progamer@programming.dev to programming_languages@programming.dev on 24 Jul 16:30

https://programming.dev/post/17283364

from armchair_progamer@programming.dev to programming_languages@programming.dev on 24 Jul 16:30

https://programming.dev/post/17283364

This 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.

threaded - newest