Language meta
Platform spec domain
Language meta
No architecture decision records under adr/ for this feature yet. Standard features must
publish at least one ADR or keep a ## Decisions summary on the hub.
- No directly attached article pages for this node. Nested descendants exist deeper in this subtree.
0 revisions (git unavailable at build; counts may be empty)
No commits recorded for this path.
| Section id | Required | Found |
|---|---|---|
rationale | yes | yes |
background | no | yes |
Full tree: run pnpm verify:platform-spec-layout (writes src/generated/platform-spec-layout-report.json).
Rationale
Readers should find one authoritative description of what programs mean, independent of how the
compiler is structured internally. This domain is the canonical language specification surface under /platform-spec and indexes the standard by area and feature—ownership and how the platform realizes each chapter—not a backlog or delivery tracker. Versioning is Git (main rolling release), not URL segments.
Background
Feature pages in language-meta are canonical for language semantics. Example:
Dependency injection is maintained directly in this tree. This
domain lays out areas and feature leaves with normative prose and platform metadata. Components—functional groupings in the wider platform—can be modeled later (URLs or relatedTopics).
Governance
Before extending language chapters or adding cross-domain features, read Specification authority and embedded decisions and Release and versioning policy. Legacy URL crosswalks live under Legacy spec mapping (non-normative); see also Non-normative bridge docs policy.
Areas
- CompositionDependency injection and host composition for the language-meta composition area.
- ConformanceVocabulary for requirements and implementation quality.
- Contracts and effectsErrors, contracts, testing, and observable behavior.
- EvaluationControl flow, closures, and events.
- InteropForeign boundaries: Interop.Contracts, C and Rust ABI profiles, export, and the Beskid extern language surface (v0.3 FFI).
- Memory modelReferences, lifetimes, and safe memory operations.
- MetaprogrammingCompile-time computation and code generation hooks.
- Program structureModules, paths, and name resolution across compilation units.
- Surface syntaxLexical structure, comments, and how source text maps to the grammar.
- Type systemTypes, inference, dispatch, and algebraic data.