There is no elegant solution in Rust to make something like type Temperature_K i... | Hacker News

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

		wolvesechoes 81 days ago \| parent \| context \| favorite \| on: Should I choose Ada, SPARK, or Rust over C/C++? (2... 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>;`

bluGill 81 days ago [–]

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.

estimator7292 80 days ago | [–]

Ideally, the program would freeze

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