Documentation
Flecha’s documentation is synced from the compiler repository so the guides here track the implementation while this website remains independently deployable.
Start here
Section titled “Start here”Language features
Section titled “Language features”- Structures, tuples, and enums
- Fixed arrays and dynamic arrays
- Strings and error values
- Iteration, match, and defer
- Generics and extern declarations
Memory and ownership
Section titled “Memory and ownership”- Checked references and checked slices
- Ownership contracts
- Definite assignment
- Raw allocation and unsafe pointers
- Memory model and remaining proposals
Compiler internals
Section titled “Compiler internals”Implementation references cover semantic analysis, typed lowering IR, LLVM code generation, native code generation, and the runtime ABI.