This section is the public home for Mica’s long-form technical documentation. The material is being moved here step by step from the compiler repository so the website becomes the maintained canonical source.
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.