4 articles
← Back to all tagsAlgebraic type theory offers us an elegant correspondence between data structures and elementary arithmetic.
Algebraic data types (ADTs) form the foundation of modeling in typed functional languages, and their influence now extends far beyond.
This phrase, popularized by Yaron Minsky in the context of OCaml, captures the very essence of a defensive approach to modeling: rather than verifying after the fact that a state is valid, we structur...
An aggregate in Domain-Driven Design is fundamentally a guardian of invariants: it encapsulates a cluster of entities and value objects whose coherence must be maintained at each transaction.