News for hackers. Stuff that matters.

A comment on Should I choose Ada, SPARK, or Rust over C/C++? (2024). Parent comment

Re:Should I choose Ada, SPARK, or Rust over C/C++? (2024) by wolvesechoes on Monday October 06, 2025 @03:33AM (#45488615)
There is no elegant solution in Rust to make something like

  type Temperature_K is digits 6 range 0 .. <whatever is reasonable upper bound in your domain>;
[ Parent | on HN ]
Re:Should I choose Ada, SPARK, or Rust over C/C++? (2024) by bluGill on Monday October 06, 2025 @05:55AM (#45489619)
at least that is an unsigned (though there are no usigned hardware floats). If you said tempemerature C there you range starts at -273.15 and you want errors of some sort to happen if you go below that.
[ Parent | on HN ]
Re:Should I choose Ada, SPARK, or Rust over C/C++? (2024) by estimator7292 on Monday October 06, 2025 @02:23PM (#45494489)
Ideally, the program would freeze
[ Parent | on HN ]