The Mica Compiler — A Technical Portrait
The canonical technical reference for the Mica compiler: architecture, type system, code generation, optimization, ELF output, and roadmap direction.

One developer. Two and a half years. One real compiler.
It started in late 2023, inspired by Niklaus Wirth — the Swiss computer scientist who gave the world Pascal and believed that good software should be small, clear, and honest. Wirth died on the 1st of January 2024, just days after this project took its first steps. That coincidence shaped everything that followed.
The language that emerged has Pascal's readability and C's reach: statically typed, natively compiled, no garbage collector, no external dependencies, direct access to every C library on Linux. The compiler — 75,545 lines of pure Go — was built entirely from scratch, without LLVM, without GCC, without shortcuts.
This site is organized around learning the language and documenting the compiler.
The canonical technical reference for the Mica compiler: architecture, type system, code generation, optimization, ELF output, and roadmap direction.
How Mica's x86-64 peephole optimizer works: why it exists, how its 17 conservative passes are organized, and which safety rules keep the rewrites correct.
The canonical roadmap for the Mica compiler — structured language completion through 4.x, full optimizer and multi-platform in 5.x, and AI-native semantics in 6.0.
The active execution backlog for the Mica compiler — language ergonomics in 4.6, language completion and heap in 4.7, optimizer and concurrency in 4.8.