News for hackers. Stuff that matters.

A comment on Bare Metal Rust Generics. Parent comment

Re:Bare Metal Rust Generics by littlestymaar on Sunday August 23, 2020 @06:21PM (#24255799)
> It has formal verification as part of the toolset. I would think Rust would need to develop similar formal tools and not just the PL to be used in the same industries as Ada/SPARK2014.

There are people agreeing with you, and they are trying to make it happen: https://ferrous-systems.com/blog/sealed-rust-the-plan/

[ Parent | on HN ]
Re:Bare Metal Rust Generics by eggy on Monday August 24, 2020 @10:32AM (#24261043)
Thank you. I hadn't heard of it before. I would like to see it happen. I do think it will take many man-years to catch up with Ada/SPARK2014 and win industry favor and confidence, but it's good to see.
[ Parent | on HN ]