Fa
<The universal programming language>
One coherent, safe, high-performance language — from web applications
to tooling, systems, and beyond.
Rust with TypeScript's simplicity.
TypeScript at the speed of Rust.
One language. Everywhere.
Web applications
Developer tooling & CLIs
Servers and backends
Embedded & systems software
Game engines and simulations
Fa is built to be universal by design
Write once. Target multiple runtimes.
No rewrites. No paradigm switches.
No rewrites. No paradigm switches.
A replacement for TypeScript and Rust
Typescript
✓ Productive
✗ High memory usage
✗ No metaprogramming
Rust
✓ Fast and safe
✓ Low memory usage
✗ Complex and hard to iterate
Meet the best of both worlds
The ergonomics of TypeScript
The performance and safety of Rust
Without the downsides of either
Performance without compromise
Fa compiles to efficient low-level code while remaining simple to
reason about.
No runtime garbage collector
No hidden costs
No unpredictable pauses
A new memory model — simple, safe, powerful
Fa introduces a unique memory management system
❌ No garbage collector
❌ No complex borrow-checker rules
❌ No lifetime annotations everywhere
Instead, Fa relies on two core concepts
Owned References
Ownership integrated into the type-system
Relations
Declare relationships between objects
Built-in reactivity — at the language level
Fa is the first programming language with reactivity built into its
core semantics.
Compiled
Type-safe
Predictable
If you can write Fa, you can metaprogram in Fa.
Metaprogramming, without pain
Fa makes metaprogramming boringly simple.
Compile-time execution
Code generation
No separate DSLs
No unreadable syntax trees
Designed for humans and AIs. Built for the future.
This is not an experiment
It's a foundation