Recurse Center Code Words company blog
The 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 .
- Points
- 170
- HN comments
- 133
- Submissions
- 3
- Cited by
- 9 commenters
Math & AlgorithmsSoftware Engineering2018
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Sep 8, 2018 | The algebra and calculus of algebraic data types by alex_hirner | 170 | 48 |
| Jun 25, 2015 | The Algebra of Algebraic data types by jasonrdsouza | 136 | 40 |
| Jul 24, 2024 | The algebra and calculus of algebraic data types (2015) by thunderbong | 128 | 45 |
Cited in comments
Linked from 9 Hacker News comments by 9 different people, from Jun 2015 to Aug 2025.
Most recent:
- ackfoobar · Aug 14, 2025
- justinpombrio · Jul 31, 2024
- enricozb · Jan 12, 2023
- igravious · Jun 19, 2020
- cbdumas · Nov 19, 2019
- hardmath123 · Dec 28, 2018
