Show HN: Spectre: A systems design-by-contract language, self hosted compiler

Category: devtools

Tags: programming-language, systems-programming, design-by-contract

Score: 6.0/10 (Innovation: 7, Technical: 8, Documentation: 5, Utility: 4)

Spectre is a self-hosting, statically typed programming language focused on design-by-contract with explicit correctness guarantees and low-level control. It's interesting because it implements a novel 'trust' system for unsafe operations and pre/postcondition guards while being bootstrapped in its own language.

Target audience: backend devs, systems programmers, language enthusiasts

Repository: https://spectrelang.org · Shell · GPL-3.0 · 5 stars

View on Hacker News