A practical, hands-on introduction to Mica — a systems language with compiler-proven memory safety, as fast as C. Covers getting started, a first program, the ordinal type system, compile-time generics, the memory model, and inspecting the compiler with --export.
How a solo developer built a complete optimizing native compiler — one that proves your heap safe at compile time — over several years of breakthroughs, frustration, and an unusual partnership with AI.
Why Mica exists: a systems language with compiler-proven memory safety, as fast as C, and a compiler you can read and reproduce — plus an honest invitation to come look, and to build with me.