25.

The algebra (and calculus!) of algebraic data types

codewords.recurse.com/issues/three/algebra-and-calculus-of-algebraic-data-types

Just as algebra is fundamental to the whole of mathematics, algebraic data types (ADTs) are fundamental to many common functional programming languages. They’re the primitives upon which all of our richer data structures are built, including everything from sets, maps, and queues, to bloom filters and neural networks.