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 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….
[ Parent | on HN ]
Re:Should I choose Ada, SPARK, or Rust over C/C++? (2024) by bluGill on Tuesday October 07, 2025 @04:51PM (#45508699)
See, more trade offs...
[ Parent | on HN ]
Re:Should I choose Ada, SPARK, or Rust over C/C++? (2024) by binary132 on Wednesday October 08, 2025 @05:32PM (#45520880)
honestly, I’m not seeing the problem you’re seeing
[ Parent | on HN ]