FormaLang Documentation

Last Updated: 2026-10-01

FormaLang is an embeddable compiler frontend for a statically typed, declarative language. An application puts the frontend inside itself. The frontend parses .fv source, checks it, and gives a fully resolved Intermediate Representation (IR). The application supplies the backend: an interpreter, a JIT compiler, a query engine or a code generator. See Design.

For Users

The User Guide covers FormaLang syntax and features: core constructs, type system, definitions, expressions, control flow, generics, modules.

For Developers

• Architecture Overview: system design, compiler pipeline, plugin system, built-in passes
• AST Reference: Abstract Syntax Tree for tooling
• IR Reference: Intermediate Representation for code generation