Tag: compiler
-
Cure, Four Releases Deep: From FSMs to Furniture
· 19 min read
A walk through Cure v0.16.0 through v0.19.1. A Finitomata-inspired FSM rewrite, the dependent-types core finally behaving like it promised, a pattern engine that actually matches, and a stack of ergonomics that should have been there six versions ago.
elixir cure programming compiler type-system fsm dependent-types hacking
-
The Long Road to Cure
· 3 min read
Just under a year ago I started building a BEAM language with dependent types and first-class FSMsβchose the wrong implementation language, wrote spaghetti, had an LLM tell me it was garbage, shipped something embarrassing, then spent months rethinking. Here is what I learned and where Cure stands today.