News for hackers. Stuff that matters.

A comment on What Should We Do to Prevent Software from Failing?. Parent comment

Re:What Should We Do to Prevent Software from Failing? by nerpderp82 on Monday May 20, 2019 @07:05PM (#19966160)
Our safety critical languages need to be simpler, so they are amenable to mechanical proofs and exhaustive model checking. Dimensional units would be a good start.

https://gmpreussner.com/research/dimensional-analysis-in-pro...

[ Parent | on HN ]
Re:What Should We Do to Prevent Software from Failing? by carlmr on Tuesday May 21, 2019 @01:54AM (#19967856)
F# has those built in (not mission critical embedded ready, but a very very nicely designed language).

ADA hat strongly typed fixed point built in. Rust I think has a strong enough type system to implement this as a library, at least there seem to be a few.

Idris also looks interesting. Maybe something like this can be done with dependent types.

[ Parent | on HN ]