Alpha. Vary is under active development and not ready for production use. Syntax, APIs, performance, and behaviour may change between releases.
Future phases
Areas we might work on next. Nothing here is committed.
What we are considering
These are areas we may work on next. Nothing here is committed or scheduled.
| Area | What it would add |
|---|---|
| Realistic program shapes | Template-based generation families (data pipelines, collection processing, record workflows) so generated programs resemble real code patterns |
| Concurrency verification | Deterministic concurrency testing with seeded schedulers |
| Contract-aware generation | Programs with in/out/post contracts, verifying violations are consistent across paths |
| Cross-version differential | Comparing compiler output across Vary versions to detect unintended behavioural changes |
| Larger program generation | Scaling beyond single-function programs to multi-module programs with imports |
This page will be updated as plans take shape.