Re:Should I choose Ada, SPARK, or Rust over C/C++? (2024)
by bluGill on Monday October 06, 2025 @08:10AM
(#45490502)
I have seen several versions. I wrote two different ones myself - both not in use because the real world of units turned out far more complex. the multiplication thing is one simple example of the issuses but not a complete list
[ Parent
| on HN ]
There are no comments on this comment yet.