The algebra (and calculus!) of algebraic data types

The algebra (and calculus!) of algebraic data types Joel Burget Note: This article assumes some introductory Haskell knowledge. Introduction 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 s

[lotz84]

代数的データ型の代数。足し算・掛け算・べき乗、テイラー展開に微分まで成り立ってて面白い