FormaLang Documentation

Last Updated: 2026-05-03

FormaLang is a declarative DSL compiler frontend written in Rust. It parses .fv source files, performs semantic analysis, and produces a type-resolved Intermediate Representation (IR). Code generation is handled by external backends via the plugin system.

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

Design Notes

Open / forthcoming features carry their own status pages:

• Cross-Module Code Generation
• Default Parameter Values
• String Built-In Methods