LANGUAGES
Fyr
A Rust-built programming-language bootstrap with static checks, an interpreter, formatter and persistent REPL.
- Current state
- Language bootstrap
- Discipline
- Languages
- Built with
- Rust / Cargo / Custom language syntax / AST / Interpreter
The idea
Explore a readable systems-language surface with explicit structure, executable examples and a small implementation that can evolve toward stronger guarantees.
How it works
A conventional compiler front end transforms source into tokens and an AST, performs typechecking, then evaluates the program. The bootstrap command integrates manifests, diagnostics, imports, formatting and tests. Build currently emits checked import-flattened Fyr source rather than native machine code.
What’s implemented
- Lexer, parser, static type checker and interpreter
- Typed functions, structs, enums and exhaustive match
- Bounds-checked arrays and string operations
- Nullable types and scoped unwrapping
- Project scaffolding and root-confined relative imports
- Formatter, assertion-file tests and checked source bundles
- Persistent interactive REPL
PROJECT STATUS / LANGUAGE BOOTSTRAP
Where it stands
Working language bootstrap; native compiler layers remain planned.
- Native performance and Rust-class ownership/concurrency safety are goals, not present capabilities.
- Native code generation and ownership checking remain future layers.
- Bootstrap build output is source, not a native executable.
Source & resources
Documentation behind this project page
Reviewed October 1, 2026. Project descriptions reflect a source review; repository validation claims were not independently reproduced.