3 ms·
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 sta
by nerpderp82 7y ago
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-programming-languages https://gmpreussner.com/research/dimensional-analysis-in-pro...
- carlmr 7y agoF# 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.