Jordan Bonecutter's Evergreen pitches checked contracts for systems code
Jordan Bonecutter's public project pairs contracts and checked invariants with a Rust-written bootstrap compiler, a proof kernel, and a WebAssembly playground, while its longer memory design remains a sketch.
By RuntimeWire Staff · Published
Primary source: Hacker News
Why it matters
Evergreen tests whether systems programmers will trade some of Rust's borrow discipline for explicit contracts and proofs the compiler can check, with proof work erased before execution and the broader memory design still at the sketch stage.
A compiler that checks what the code claims
Jordan Bonecutter is building Evergreen, a systems programming language built around explicit contracts, checked invariants, and direct control over memory. The public repository is owned by Bonecutter's GitHub account. The public materials do not assign Bonecutter a formal title such as founder or lead maintainer.…
When you purchase through links in our articles, we may earn a small commission. This doesn’t affect our editorial independence.