Changelog

Release history and version notes

v0.99.0

Pre-release 2026-01-15
  • ✨ Algebraic effects with native continuation support
  • ✨ Real effect handlers for IO, Async, and GPU
  • ✨ AArch64 and x86-64 native backends
  • ⚡ CPS transform for multi-shot continuations
  • ⚡ Improved error messages with source context
  • 🐛 Linear type checker now handles nested structs correctly

v0.98.0

Alpha 2025-12-01
  • ✨ GPU kernel compilation to PTX and SPIR-V
  • ✨ Refinement types with Z3 SMT backend
  • ✨ Units of measure with dimensional analysis
  • ⚡ LSP server with hover and go-to-definition
  • ⚡ Package manager prototype

v0.97.0

Alpha 2025-10-15
  • ✨ Knowledge<T> epistemic types
  • ✨ GUM-compliant uncertainty propagation
  • ✨ Provenance tracking system
  • ✨ Effect system (IO, Mut, Alloc, Panic)
  • ⚡ Bidirectional type inference

v0.96.0

Alpha 2025-08-01
  • ✨ Linear and affine type checking
  • ✨ Basic LLVM and Cranelift backends
  • ✨ Module system with use statements
  • ⚡ Parser rewrite for better error recovery

v0.95.0

Prototype 2025-05-15
  • ✨ Initial compiler implementation
  • ✨ Lexer, parser, and AST
  • ✨ Basic type checker
  • ✨ Tree-walking interpreter

Want to be notified of new releases?

Watch releases on GitHub