Re:Should I choose Ada, SPARK, or Rust over C/C++? (2024)
by bluGill on Tuesday October 07, 2025 @09:05AM
(#45502589)
operator* can return exactly one type. You can choose which, but metric offers many possible choices, and with floating point math on computers you will lose precision converting between them in some cases so you need to take care to get the right on for your users - which will not be the same for all users.
[ Parent
| on HN ]
Re:Should I choose Ada, SPARK, or Rust over C/C++? (2024)
by binary132 on Tuesday October 07, 2025 @04:02PM
(#45508109)
One return type, for any given combination of parameter types, not to mention the possibility of templating to manipulate the return type….