OriLang
Functional code. Imperative speed. Native binaries.
OriLang is a statically-typed, expression-based, compiled programming language designed and authored entirely by Eric Malamisura. It compiles to standalone native executables on Windows, Linux, and macOS through LLVM — no garbage collector, no borrow checker, no runtime, no VM.
OriLang pairs automatic reference counting with value semantics: variables own their data and assignments behave as logical copies. The design rules out shared mutable state and reference cycles, while compiler optimizations can turn value-semantic operations into in-place mutations.
Testing is part of the language and compiler rather than an external library. OriLang also combines Hindley–Milner type inference, capability-based effects, const generics, and traits with associated types. Its AI writing kit gives models a versioned language reference and examples, supporting AI-assisted development even though OriLang is new to model training data.
// Highlights
- 01 From-scratch compiler with LLVM native code generation
- 02 Hindley–Milner type inference across the whole program
- 03 ARC + value semantics: no GC, no borrow checker, no cycles
- 04 Mandatory testing baked into the compiler
- 05 Ships an AI/LLM writing kit (llms.txt) for model-authored code