News for hackers. Stuff that matters.

A comment on Bare Metal Rust Generics. Parent comment

Re:Bare Metal Rust Generics by OnlyOneCannolo on Sunday August 23, 2020 @06:59PM (#24256007)
I've always wondered this - Does the compiler actually use all that contract information, or is it just the prover?
[ Parent | on HN ]
Re:Bare Metal Rust Generics by shakna on Sunday August 23, 2020 @07:14PM (#24256096)
As of Ada 2012, the redesign means that the compiler can make use of the contract information, and was one of the main reasons for a lot of the changes.
[ Parent | on HN ]
Re:Bare Metal Rust Generics by OnlyOneCannolo on Sunday August 23, 2020 @11:27PM (#24257302)
That makes sense. Otherwise why bother conflating the programing language with the verification language.
[ Parent | on HN ]