The algebra (and calculus!) of algebraic data types (codewords.recurse.com)
from armchair_progamer@programming.dev to programming_languages@programming.dev on 24 Jul 2024 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.

#programming_languages