Why create a new programming language?
No programming languages offer the combination of DbC at the language-level and also low-level control over the programs written. Spectre features no garbage collector, opting for a custom-allocator based approach to memory management and ownership, and uses design-by-contract features such as preconditions, postconditions, and type-level invariants, in addition to static trust propagation through the use of verifiably safe and unverifiable functions.
Built with Spectre
Some things built with the Spectre Programming Language:
A Flight Simulator
A CHIP-8 Emulator
A Devlogging Tool
A DOOM Clone
And more, as is visible on the official Spectre Programming Language website.
Top comments (0)