Compare revisions

Algebraic data types and state modeling

Body changes between the two selected stored revisions. Code is not executed.

Before: full revision: 2026-11-04 16:24:11 UTC After: full revision: 2026-11-04 17:21:23 UTC

1 changed sections

− Removed+ Added27 unchanged content blocks omitted.

Content blocks 4 → 4

~~This~~ ~~modeling~~ selects ~~meaningful~~ combinations from the values a program could construct ~~and represents them in types~~. Consumers handle the fields belonging to each case. This is the basis of the familiar idea of making invalid states harder to represent.

A type model selects the combinations that make sense for the application from all the values a program could construct. Consumers handle the fields belonging to each case. This is the basis of the familiar idea of making invalid states harder to represent.