Loom

A blog engine that just works. One binary, no setup, no dependencies.

Series: type-theoratic-cpp

  1. A Program Is a Theory — Foundations of Type-Theoretic C++ 2026-03-20
  2. Sum Types and Product Types — The Algebra of C++ Types 2026-03-21
  3. Pattern Matching — Deconstructing Values by Shape 2026-03-22
  4. Phantom Types — Making the Compiler See What Isn't There 2026-03-23
  5. Typestate Programming — When Types Remember What Happened 2026-03-24
  6. Concepts as Logic — Propositions, Proofs, and Predicates 2026-03-25
  7. Compile-Time Data — When Values Become Types 2026-03-26
  8. Parametricity — Theorems for Free 2026-03-27
  9. Substructural Types — When Resources Are Not Free 2026-03-28
  10. Recursive Types and Fixed Points — The Algebra of Data 2026-03-29
  11. Building a Type-Safe Protocol — The Grand Synthesis 2026-03-30
↑