Skip to main content
ThunderLang

Roadmap

From an idea to a language you can rely on.

A deliberately honest, sequenced plan. The first phases already ship in the compiler today; dates are intentionally omitted, and each later phase begins when the previous one is genuinely solid.

This roadmap is directional, not a commitment. Order and scope will change as the language and the community evolve.

The compiler pipeline

How intent becomes verified artifacts.

The ThunderLang compiler does not just turn syntax into code. It turns intent into validated engineering artifacts: plans, code, tests, docs, diagrams, and a proof.

  1. Intent source→
  2. Parse→
  3. Intent AST→
  4. Semantic analysis→
  5. Contract graph→
  6. Architecture graph→
  7. Implementation plan→
  8. Target generation→
  9. Verification→
  10. Proof artifact

Foundations

Now
  • Language vision and principles
  • Missions, contracts, and guarantees syntax
  • Deterministic parser + intent-graph-v1 / intent-ir-v1
  • Public site, examples, and an interactive playground with real parsing

Compiler, CLI, and proof

Now
  • The thunder CLI: check, run, test, prove, conform, lift, build, and scan
  • Executable decisions and lifecycles, with a full first-hit trace
  • In-file tests, comprehension levels C0..C7, prove + verify (freshness), and proof artifacts
  • Intent Scanner + Fable, the editor language server, a VS Code extension, and an MCP server for AI agents

Code generation, conformance, and reverse-engineering

Now
  • Code generation for TypeScript, C#, Java, and Python (typed contracts + decision logic)
  • Cross-language conformance: compile and run the generated decision for real across targets (thunder test --all-targets)
  • thunder lift: infer humble drafts from 14 source languages (experimental)
  • Intent Atlas CLI + graph, and an interactive Visual Atlas at /atlas (experimental)

Verification, targets, and integration

Next
  • Executable conformance for the remaining lift languages (Go, Rust, Kotlin, Scala, Elixir)
  • Deeper formal verification and runtime enforcement of guarantees
  • OpenThunder integration for understanding builds
  • In-browser playground compiler (WebAssembly) and marketplace-published editor tooling

AI assist

Later
  • Intent Engine: optional, traced, human-approved prompt-to-intent and generation
  • The deterministic core keeps working with no model at all

Ecosystem

Exploring
  • Package manager and examples repository
  • RFC process for language changes
  • Community forum
  • Skills Tech Studio integration and a certification path