Developer preview. Vela, Facet, and Quire are pre-release and in active development — syntax, APIs, and availability may change, and they are not yet generally available.
SStretch Dev Docs
Programming language

Vela

A from-scratch, data-science-first general-purpose language.

Readable like Python, with a real type system and a tiered, ownership-aware memory model. A Stage-0 interpreter is working today.

OverviewA Stage-0 snapshot of Vela features, plus links to syntax, stdlib, and design docs.QuickstartBuild or use `vela`, run your first program, and reach the core Stage-0 features quickly.Language TourGuided walkthrough of Stage-0 Vela syntax and behavior.Syntax & TypesLexical structure, core expressions, and the Stage-0 dynamic value model.Functions & LambdasFunction definitions, recursion, lambdas, closures, and higher-order workflows.Pattern MatchingMatch expressions, pattern forms, constructor matching, guards, and match errors.Error HandlingStage-0 `Option` / `Result` values and the postfix `?` operator.Records & EnumsImmutable named records, dynamic map-style records, and tagged unions.Standard LibraryStage-0 builtins plus `.sources/vela/std/*.vela` library modules and their current scope.ExamplesCurated starter examples from `.sources/vela/examples`.Design NotesWhat is implemented now vs planned in static typing, memory, and concurrency.CookbookPractical Stage-0 recipes for CSV text, grouping, maps, mutable collections, sorting, and pipelines.From PythonA Python-to-Vela migration guide for Stage-0 syntax and common idioms.Dataframes & Data ScienceCurrent native dataframe helpers plus the planned typed Arrow-backed dataframe design.Grammar / Spec by ExampleStage-0 lexical rules, grammar shape, and verified behavior examples.Modules, Packages & ToolingCurrent file imports and the planned package manager, manifest, CLI, LSP, docs, tests, and notebooks.Foreign Function InterfacePlanned C, Python, R, JS/WASM, and Arrow interop model from the Vela design specs.ConcurrencyPlanned structured concurrency, async/await, channels, actors, cancellation, and data-parallel execution.Self-hosting & Compiler OverviewThe roadmap from the Rust seed interpreter to a Vela compiler written in Vela.Memory Model Deep-diveCurrent value behavior and the planned tiered memory model with COW, optimized RC, cycles, ownership, and arenas.