Blorp Language
12 hours ago
- #typed-safety
- #performance
- #programming-language
- Blorp is a programming language focused on direct syntax, strong static safety, and explicit effects.
- Key goals include confidence through pure functions and explicit effects, speed via native code and structured concurrency, approachability with small syntax and direct control flow, and durability with typed failure and safe bounds.
- Features include readable syntax, static safety with strong types, purity tracking, value semantics, typed absence/failure with Option/Result, structured concurrency, compile-time bounds, native performance compiled to C, and tool-friendly design.
- Performance benchmarks show Blorp often performs comparably to C, outperforming Go and Python in many numerical and concurrency tasks.
- Technical details highlight static types with Hindley-Milner-style inference, value semantics with ARC/COW, Perceus ownership optimization, and native output through Core IR to generated C.