This is the landing site for Vector Labs and the Arra programming language.
For the time being, this will host various documentation about the language while it is being developed. A release is upcoming!
- Overview — design motivation, the eleven hook keywords, and the generalization arc from APL
- Syntax — full surface grammar reference
- Semantics — type system, hook dispatch, effects, and operational semantics
- Core IR — Core intermediate language: invariants, term/type grammar, effect nodes, primitives
- Loop IR — structured loop representation between fusion passes and C emission
- Frontend — frontend design: lexer/parser, type checker, Z3 integration, Program T expansion, core lowering
- Backend — backend design: treewalk, whole-program passes, effect lowering, fusion, kernels, QCheck
- Roadmap — compiler architecture and implementation phases