Vector Labs github.io Page
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