Welcome to the Metaxu documentation! Metaxu is a self-hosted, low-level functional programming language designed for performance, safety, and expressiveness.
- Builtin Algebraic Effects
- Thread Effects
- Domain Effects
- Atomic Effects
- RwLock Effects
- Future Considerations
- SIMD and Multithreading
- Algebraic Subtyping
- Pattern Matching
- Generics
- Compilation Time Execution
Metaxu is deeply inspired by languages such as Ante, Hylo, Sage, Oxidized OCaml, Rust, Zig, and Python. The language aims to combine:
- Strong type safety through static analysis
- Efficient memory management with ownership and borrowing
- Powerful effect system for controlled side effects
- Zero-cost abstractions
- Clear and expressive syntax
The name "Metaxu" comes from Simone Weil's philosophy, representing the interconnections between objects in our world. This reflects our goal of creating a language that elegantly bridges the gap between high-level abstractions and low-level performance.