This roadmap focuses on the Python interpreter subset and its supporting docs.
For long-term direction, see GREYALIEN_VISION.md. For the conceptual language
design, see SPEC.md.
- v0.x is a prototype subset. Semantics and syntax can change as the spec evolves.
- The goal is correctness, clarity, and teachable error messages over speed.
- Each milestone should keep
SPEC_V0.mdaligned with the interpreter.
P0 (must)
- Records and field access:
{x: 1}andp.xwith parser, interpreter, and type checker support, plusSPEC_V0.mdupdates. - Ownership and borrowing draft in
SPEC.mdthat defines core terms and rules. - Effects system sketch in
SPEC.mdcovering purity and IO at a minimum. - Canonical examples with golden outputs and tests that verify them.
P1 (should, if time)
- List literals and indexing with clear runtime bounds errors and type checks.
- Runtime errors include line/column spans with snippet context.
- Parser error recovery for common mistakes (missing semicolons, braces).
- Full ownership/borrow checker implementation.
- Effects implementation or effect handlers.
- Optimizing native compiler, LSP, or package manager.
- Standard library beyond the current
printbuilt-in.
make testpasses on CI and locally.SPEC_V0.mdmatches the interpreter behavior for all v0.2 features.- At least five examples ship with expected outputs.