7 articles
← Back to all tagsA monoid is an algebraic structure of disarming simplicity: a set equipped with an associative binary operation and a neutral element. That's all.
The directed acyclic graph (DAG) is such a fundamental structure that it appears in almost every domain of programming, often without being explicitly named.
Raw data has no intrinsic meaning: it's merely a sequence of 1s and 0s, an inert structure, an arrangement of symbols. It's interpretation that confers meaning.
Embedded domain-specific languages (embedded DSLs) allow building mini-languages within a host language, inheriting its syntax, type system, and tooling.
A design system, in its essence, is much more than a library of reusable components: it's a domain-specific language (DSL) for expressing a graphic identity.
Philip Wadler, in his talk and paper "Propositions as Types," offers a historical and philosophical meditation on the Curry-Howard correspondence.
Partial application and currying transform a function with multiple arguments into a chain of single-argument functions.