AILANG Roadmap

This page is automatically generated from the design_docs/planned directory. Each item represents a planned feature or improvement with a detailed design document.

For completed features, see Design Documents.

Planned for v1.0.0

• Global Collaboration Hub - Cross-Computer Agent Collaboration
• M-AGENT: std/agent Module for AI Agent Orchestration
• M-CSP-SESSION-TYPES: CSP Concurrency with Session Types
• M-DX-PACKAGE-DOGFOODING: DX Issues Found Building AILANG Packages in AILANG
• M-ENTROPY: Semantic Entropy Budgets
• M-PERF4: Bytecode Interpreter (Stretch Goal)
• Sprint Plan: M-PKG Phase 1 — Local Package Management
• M-PKG: AILANG Package System & Multi-Agent Coordination
• Sprint Plan: M-PKG Phase 1.5 — Tightening
• Sprint Plan: M-PKG-REGISTRY — Client-Side Implementation
• M-PKG-REGISTRY: AILANG Package Registry on GCP
• M-QUASI: Typed Quasiquotes (String Templates)
• Sprint Plan: M-TYPE-V2-MIGRATION
• M-TYPE-V2-MIGRATION: Complete TFunc → TFunc2 Type System Migration

Planned for v0.10.0

• AILANG: Auto-Caps and Capability Inference
• M-REPL1: REPL Persistent Type Bindings & Module Loading
• M-TOOLING: Deterministic CLI for AI Agents (v0.3.15)
• M-ARCH-BOUNDARIES: Formalize Dashboard/Core Separation
• M-ARCH1: AI Provider Base Class
• M-ARCH2: Daemon God Object Refactor
• M-ARCH3: Task Classification Consolidation
• M-ARCH4: Executor Stream Processor
• M-ARCH5: Error Handling Strategy
• M-BUG-LETREC-SINGLE-CALL: Letrec with Single Recursive Call Fails
• M-CALL-SUGAR: Optional Parenthesized Call Syntax
• M-CLOUD-EVAL: Distributed Cloud Evaluation Workers
• M-CLOUD-OBSERVATORY: Observatory Firestore Backend for Cloud Run
• M-CODEGEN-API-SERVER: Compiled Go API Server from AILANG Modules
• M-CODEGEN-IR-LAYERS: Multi-Target Codegen IR Architecture
• M-CODEGEN-IR-STRATEGY: Multi-Layer IR Architecture for Code Generation
• Sprint Plan: M-CODEGEN-SUSTAINABILITY (Option C — Colocated Builtin Registry)
• M-CODEGEN-SUSTAINABILITY: Codegen Validator Skill + Stdlib-as-Go-Module
• M-CODEGEN-V3: Binding Hoisting for VALUE-Position Lets
• Sprint Plan: M-COORD-CODEX (Codex Executor for Coordinator + Evals)
• M-COORD-CODEX: Codex Executor for Coordinator + Evals
• M-COORD-THINKING: Extended Thinking Levels for Coordinator Skills
• M-COPILOT-CLI: GitHub Copilot CLI Integration
• M-D4: Design-Doc-Driven Development (D4)
• Dashboard Simplification - Remaining Work (v0.7.0)
• M-DX-MATCH-HOF: Fix match Inside Block-Body Lambdas in HOF Arguments
• M-DX-RECORD-CONS: Record Literal + :: Cons Pattern Bug
• M-DX-TAPP-TRECORD: Type Inference Bug with Nested [[RecordType]]
• M-DX26: Property Test "Empty Program" Bug
• M-DX27: GitHub Repository Search Fallback for ailang docs search
• M-ERROR-PROP: Error Propagation Operator (?)
• M-EXEC-HIERARCHY-REFACTOR: Executive Hierarchy Graph Visualization
• M-GEMINI-INTERACTIONS: Google Gemini Interactions API Support
• Sprint Plan: M-GENERIC-PIPELINE
• M-LOCOBENCH: Long-Context Benchmark Integration
• Sprint Plan: M-PROTOCOL-SUPPORT
• M-PROVENANCE: Code Provenance Tracing & Agent Trace Export
• M-REFLECT: Structural Reflection & User-Defined Type Classes
• M-STRING-INTERP: String Interpolation Syntax
• M-TASK-GRAPH-SPANS-UNIFICATION: Fix TaskHierarchyGraph Filtering
• M-UI-REFACTOR: Refactor UI Folder for AI-Friendly File Sizes
• Sprint Plan: M-UI-REFACTOR - AI-Friendly File Sizes

Planned for v0.9.5

• M-CONCURRENCY-LEVERAGE: Leverage Fork() Across All Execution Modes

Planned for v0.9.4

• M-CONTRACT-ENSURES-CODEGEN-FIX: Fix Ensures Contract Codegen After OpLowering
• Sprint Plan: M-EVAL-BOUNDED-PIPELINE
• M-EVAL-BOUNDED-PIPELINE: Fused Bounded Combinators + Memory Ceiling
• M-EVAL-LAZY-PIPELINE: Lazy List Pipelines to Fix OOM on Large Documents
• Sprint Plan: M-HASH-COLLECTIONS Phase 1
• M-SERVE-API-CONCURRENCY: Per-Request Evaluator for Thread-Safe serve-api
• Sprint Plan: M-SERVE-API-DX
• M-SERVE-API-DX: serve-api Developer Experience — Custom Routes, File Upload, Binary Response, Auth
• M-SERVE-API-JSON-DECODE: Fix TaggedValue arg decoding in serve-api
• M-SERVE-API-TRANSITIVE-IMPORTS: Fix Transitive Import Resolution in serve-api
• Sprint Plan: M-STDLIB-CRYPTO
• M-STDLIB-CRYPTO: Cryptographic Hashing for AILANG
• M-STDLIB-UUID4: Add uuid4() to std/rand
• Sprint Plan: M-STDLIB-XML — XmlNode Constructors, writeEntryBytes, escapeXml Tests
• M-STDLIB-XML: XmlNode Constructors, writeEntryBytes, escapeXml
• M-TYPE-EFFECT-ROW: Fix Effect Row Unification Regression

Planned for v0.9.3

• Sprint Plan: M-CODEGEN-COMPILE-GATE-CLEANUP
• Sprint Plan: M-CODEGEN-COMPILE-GATE
• M-CODEGEN-IR-LAYERS: Multi-Target Codegen IR Architecture
• Sprint Plan: M-CODEGEN-MULTIMODULE-BUGS
• M-CODEGEN-MULTIMODULE-BUGS: Fix 3 Go Codegen Bugs for Multi-Module Compilation
• Sprint Plan: M-CODEGEN-STDLIB-BUILTINS
• M-CODEGEN-STDLIB-BUILTINS: Go Codegen Runtime Implementations for Stdlib Functions
• M-DASHBOARD-PUBSUB-EVENTS: Dashboard Pub/Sub Event Subscriber
• M-DX-AGENT-EVAL-GAPS: Agent DX Improvements from v0.9.0 Eval Analysis
• Inline Tests Documentation & Examples (M-DX23)
• M-INCREMENTAL-TYPECHECK: Compilation Skip via Artifact Serialization
• Sprint Plan: M-OBS-CONFIGURABLE-SPAN-FILTERING
• M-OBS-CONFIGURABLE-SPAN-FILTERING: Configurable Observatory Span Filtering
• M-PIPE-OPERATOR: Pipe operator and Option chaining
• M-SQLITE-CONCURRENCY: Fix SQLite Database Lock Contention

Planned for v0.9.2

• Sprint Plan: M-COST1 Firestore Cost Optimization
• M-COST1: Firestore Cost Optimization

Long-term Vision

AILANG is designed as a deterministic language for autonomous AI code synthesis. The long-term roadmap includes:

• Structural Reflection - Typed quasiquotes and AST manipulation
• Schema Registry - Machine-readable type and effect definitions
• Capability Budgets - Resource-bounded effects
• Training Data Export - Execution traces for AI self-training

For the complete vision, see Why AILANG and Vision.

---

Generated at build time. 90 planned features across 6 upcoming versions.