The algebra and calculus of algebraic data types
Report a link problem
Submission timeline
2007–2026One slot for every year since HN launched. Height is that year's peak points; orange marks a 100+ point or 50+ comment breakout. Select a bar to open its strongest thread.
First comments on top threads
HN comment orderThat's fun and a bit surprising, but maybe it shouldn't be. I'm reminded that Dana Scott with Christopher Strachey showed that by using lattices or complete partial orders with a bit of topology to model graphs of possible computations of a program you could, just as in analysis, define least upper and lower bounds and a notion of continuity to derive a construction of limit for a computation which is analogous to a limit in analysis. They called this model…
Yes, this is a very cool story. But, fascinatingly, integration does in fact have a meaning. First, recall from the OP that d/dX List(X) = List(X) * List(X). You punched a hole in a list and you got two lists: the list to the left of the hole and the list to the right of the hole. Ok, so now define CrazyList(X) to be the anti-derivative of one list: d/dX CrazyList(X) = List(X). Then notice that punching a hole in…
The first top-level comment from each of the four biggest threads, in HN’s own order. Excerpts are shortened; open a comment for full context.
- Breakout years
- 2
- Total points
- 304
- Total comments
- 93
100+ points or 50+ comments
reference only — not used in Hall rules or ranking
reference only — not used in Hall rules or ranking
Every submission
| Date | Title as submitted | By | Points | Comments |
|---|---|---|---|---|
| 2015-06-28 | The algebra (and calculus) of algebraic data types | fractalb | 1 | 0 |
| 2018-02-15 | The algebra (and calculus) of algebraic data types | adgasf | 2 | 0 |
| 2018-09-08 | The algebra and calculus of algebraic data typesFirst breakout · Best thread | alex_hirner | 170 | 48 |
| 2024-07-22 | The algebra (and calculus) of algebraic data types | RafelMri | 3 | 0 |
| 2024-07-24 | The algebra and calculus of algebraic data types (2015)Latest 20+ point return | thunderbong | 128 | 45 |