Lessons learned while coding my first functional type system in constexpr C++
summary
A functional type system is implemented in constexpr C++ using continuation‑passing style controllers encoded as compile‑time byte arrays and a flat, serializable record format called concords. Internal function values use meta-assembly bytecode and are constrained to stack-only memory, with types and parsers generated at compile time. A proof‑of‑concept VM executes the meta-assembly; initial compile‑time parsing took about 6–9 seconds but reading pre-lexed tables drops it under one second.
AI-written summary · about
chapters (6)
- 0:00Introduction
- 9:47Template metaprogramming
- 25:05Contexture programming
- 37:08Function composition
- 43:39Functional type system
- 53:15Key lessons
