A revolutionary language playground that combines industrial-grade design patterns with educational clarity. Inspect every stage of a production-quality compiler without drowning in complexity. Built for the next generation.
Master the complete syntax in hours, not months. Zero bloat, pure expressiveness. Extend functionality through composable libraries, not language keywords. Beautiful simplicity.
Structured spawn/await with compile-time effect tracking. Write concurrent code that behaves identically across runs. No race conditions, no debugging nightmares. Pure determinism.
Capability-based security at the type level. Every side effect is explicit and auditable. Know exactly what your code can do just by reading its signature. Total transparency.
Inspect every compiler stage: tokens → AST → IR → LLVM → native code. Golden-file testing ensures correctness. Real-time introspection for learning and debugging.
C-compatible ABI for seamless FFI. Python and JavaScript task hooks out of the box. Integrate with any ecosystem without friction. Maximum compatibility.
Complete compiler pipeline in one repository. Real implementations of lexing, parsing, type checking, optimization, and codegen. Learn by reading production code. Educational excellence.
Pattern matching meets capability-aware design. Type-safe, auditable, elegant. This is modern systems programming.
Installation guide and your first Mica program in minutes
Write and run Mica code directly in your browser
Guided walkthrough of syntax, semantics, and runtime behavior
20+ runnable programs showcasing all features in action
Complete overview of language capabilities and design
Understanding the compiler pipeline and internal design
Real compiler output examples for every stage
Deep dives for each subsystem in the compiler
Milestones, design notes, and implementation plans
Current health, verification coverage, and priorities
Frequently asked questions and detailed answers
Join the development and help build the future
Deep dive into the modular compiler pipeline. Every component is documented, tested, and ready to explore.
Lexer, parser, and AST construction with error recovery
Resolver, type checker, and comprehensive effect system
AST to HIR transformation and desugaring
Typed SSA IR and optimization passes
Capability providers and deterministic task scheduler
Error reporting and structured warnings with source context
Command-line interface and development utilities
Compiler stage inspection and JSON exports