Evergreen — Provably Safe Systems Code

Evergreen has launched a new systems programming language that embeds explicit contracts, compiler-checked invariants, and memory-plane tracking directly into source code, as shown in its NonZero example where a constructor's nonzero precondition is enforced at compile time. The language combines preconditions, postconditions, and data invariants with ownership and borrowed-reference tracking, and it erases proofs, lemmas, and ideal computations after verification so they carry no runtime cost. Evergreen positions itself as more powerful than C and safer than Rust, targeting developers who want formal guarantees without sacrificing performance. The release arrives as memory-safety and verification debates intensify across systems software, with Rust's adoption pushing rivals to offer stronger compile-time assurances. What to watch next: whether Evergreen ships a stable compiler and standard library, attracts real production users beyond its WebAssembly playground, and builds the tooling and ecosystem needed to challenge established C and Rust codebases.