> It has formal verification as part of the toolset. I would think Rust would ne... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		littlestymaar on Aug 23, 2020 \| parent \| context \| favorite \| on: Bare Metal Rust Generics > 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/

eggy on Aug 24, 2020 [–]

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.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact