Wednesday, February 21, 2018

The algebra (and calculus!) of algebraic data types

Note: This article assumes some introductory Haskell knowledge. Just as algebra is fundamental to the whole of mathematics, algebraic data types (ADTs) are fundamental to many common functional programming languages.

No comments:

Finite-State Machines, Part 1: Modeling with Haskell Data Types

Stateful programs often become complex beasts as they grow. Program state incohesively spread across a bunch of variables, spuriously guar...