Compiler Roadmap

22 phases across 8 tiers. Dependency-ordered for systematic implementation.

6 Phases Complete
5 In Progress
11 Planned

Current Focus

Phase 6 Capabilities ✓ Complete
→
Phase 7 Stdlib Collection methods done
→
Phase 8 Patterns Fix timeout, cache, recurse
Tier 1

Foundation

Complete

Core type system and language fundamentals

Phase 1 Complete

Type System Foundation

Phase 2 Complete

Type Inference

Phase 3 Complete

Traits

Phase 4 In Progress

Modules

Core complete; module alias, re-exports pending

Phase 5 In Progress

Type Declarations

Structs work; destructuring, sum type matching pending

M1: Bootstrapped Can write programs using traits and modules
Tier 2

Capabilities & Stdlib

In Progress

Effect tracking and standard library

Phase 6 Complete

Capabilities

Phase 7 In Progress

Standard Library

Collection methods done; retry, validate pending

M2: Capabilities & Stdlib Capabilities working, stdlib available
Tier 3

Core Patterns

In Progress

Pattern evaluation and control flow

Phase 8 In Progress

Pattern Evaluation

Data transformation done; timeout, cache, recurse pending

Phase 9 In Progress

Match Expressions

Guards and exhaustiveness pending

Phase 10 Not Started

Control Flow

M3: Core Patterns All pattern and control flow constructs working
Tier 4

FFI & Interop

Planned

Foreign code integration

Phase 11 Not Started

FFI

Critical for ecosystem

Phase 12 Not Started

Variadic Functions

M4: FFI & Interop Can call C libraries
Tier 5

Language Completion

Planned

Platform support and testing framework

Phase 13 Not Started

Conditional Compilation

Phase 14 Not Started

Testing Framework

Phase 15 Not Started

Syntax Proposals

M5: Language Complete All core language features complete (Phases 1-15)
Tier 6

Async & Concurrency

Future

Async runtime and concurrent programming

Phase 16 Not Started

Async Support

Phase 17 Not Started

Concurrency Extended

Select, cancel, enhanced channels

M6: Production Async Can write server with graceful shutdown
Tier 7

Advanced Type System

Future

Power-user type features

Phase 18 Not Started

Const Generics

Phase 19 Not Started

Existential Types

impl Trait

M7: Advanced Types Can write matrix library with compile-time checking
Tier 8

Advanced Features

Future

Reflection, codegen, and tooling

Phase 20 Not Started

Reflection

Phase 21 Not Started

Code Generation

LLVM/Cranelift backend

Phase 22 Not Started

Tooling

Formatter, LSP, REPL

M8: Full Featured Full IDE support, generic serialization

Dependency Graph

Phase 1 (Types) → Phase 2 (Inference) → Phase 3 (Traits) → Phase 4 (Modules)
    → Phase 5 (Type Decls) → Phase 6 (Capabilities) → Phase 7 (Stdlib)
    → Phase 8 (Patterns) → Phase 9 (Match) → Phase 10 (Control Flow)
    → Phase 11 (FFI) → Phase 12 (Variadics) → Phase 13 (Conditional)
    → Phase 14 (Testing) → Phase 15 (Syntax Proposals)

Branches:
  Phase 6 ──→ Phase 16 (Async) → Phase 17 (Concurrency)
  Phase 3 ──→ Phase 19 (Existential Types)
  Phase 2 ──→ Phase 18 (Const Generics)
  Phase 11 ──→ Phase 20 (Reflection)
  Core Complete (1-15) ──→ Phase 21 (Codegen) → Phase 22 (Tooling)

Current Test Results

1006 Rust Unit Tests All Passing
335 Ori Spec Tests Passing
5 Skipped Pending Features

Want to contribute?

The roadmap lives in plans/sigil-compiler-roadmap/. Each phase has detailed implementation tasks.

View Full Roadmap GitHub