Sirius Project Roadmap
This is a roughly-ordered list of objectives for version 0.1.
- Prototype SMT solver
- Arrays
- Standard library
- More primitive data types
- Memory (garbage collection?)
- Prototype GPU Backend (Shader SPIR-V?)
- Python & Jupyter integration
- Records
- Algebraic data types (tagged unions) and pattern matching
- Lambdas
- Modules