by Quentin Ochem – Oct 07, 2024. At AdaCore, we’re in the business of supporting people who develop high-integrity software, in particular for embedded systems. In terms of programming languages, this means supporting the most commonly found candidates, which in 2024 include C/C++, Ada/SPARK, and…
They’re comparing it to Ada so maybe it’s arguable. I’m not too familiar with Ada but I think it does have some type features that Rust doesn’t. Though the example they gave (newtypes) is fairly easy in Rust too, and I’m sure Rust has type features Ada doesn’t too.