News for hackers. Stuff that matters.

A comment on Jonathan Blow on Rust. Parent comment

Re:Jonathan Blow on Rust by Dontrememberit on Sunday February 02, 2020 @09:56PM (#22221058)
> I've been arguing lately that C++ should do something like this: Add a full-on theorem-prover to the language so that I can write my own safety rules specific to how my program works.

Did you take a look at ATS?

[ Parent | on HN ]
Re:Jonathan Blow on Rust by kentonv on Sunday February 02, 2020 @10:32PM (#22221220)
I realize there are obscure programming languages that do this stuff, but I need it in C++.
[ Parent | on HN ]