Spectrelang

A statically typed, design-by-contract programming language for building simple, scalable, and maintainable systems. It provides low-level control with verifiably safe constructs, including a contract system integrated into the language grammar. The language is aimed at developers and engineering teams who need reliability and safety in system-level programming. It compiles to QBE IR, with experimental LLVM and C99 backends, and is delivered as an open-source compiler with installation scripts for POSIX and Windows.

Key features

• Statically typed with design-by-contract
• Contract system integrated into grammar
• Named preconditions and postconditions
• Guarded construct for release build checks
• Type-level invariant system with compile-time evaluation
• Compiles to QBE IR, experimental LLVM and C99 backends
• Tagged unions and enums
• Pattern matching with match expressions
• Explicit control over checks in release builds