News for hackers. Stuff that matters.

A comment on Most of Rust job offers are in crypto. Parent comment

Re:Most of Rust job offers are in crypto by bb88 on Thursday May 26, 2022 @11:23AM (#31519476)
If you choose to go through the effort, Haskell can be shown to be provably correct -- that is in a mathematical sense of the term "prove" -- similar to Ada/SPARK.

https://stackoverflow.com/questions/4077970/can-haskell-func...

AIUI, similar work is being made to Rust to make it have similar provable properties.

[ Parent | on HN ]
Re:Most of Rust job offers are in crypto by Iv on Thursday May 26, 2022 @05:17PM (#31523469)
Thing is, in Rust, you can't choose not to go through the effort. The borrow checker forces you to do so.
[ Parent | on HN ]