AIVI Language Specification
A high-integrity functional language with a Rust-first compilation pipeline.
Table of Contents
Core Specification
Roadmap
Syntax
- Concrete Syntax (EBNF draft)
- Bindings and Scope
- Functions and Pipes
- The Type System
- Predicates
- Patching Records
- Domains, Units, and Deltas
- Generators
- Pattern Matching
- Effects
- Modules
- Sigils
- External Sources
- Decorators
- Resources
Kernel (Core Calculus)
- Core Terms
- Types
- Records
- Patterns
- Predicates
- Traversals
- Generators
- Effects
- Classes
- Domains
- Patching
- Minimality Proof
Desugaring (Syntax → Kernel)
Standard Library
Core & Utils
Math & Science
- Math
- Vector
- Matrix
- Number (BigInt, Rational, Complex, Quaternion)
- Probability
- FFT & Signal
- Geometry
- Graph
- Linear Algebra