@saxnot A big underrated advantage of #Rust in terms of reliability are the Result and Option types as they are much more explicit than exceptions and nullptr.
Furthermore rustc/clippy are your best friend for writing good code.
I‘ve never written code with a as good first (succesful) compile & success rate as in Rust.
If it has to be low level, take a look at #Zig and if it doesn‘t have to be zero-overhad, maybe a functional lang would be a good contender.
@saxnot In theory you should be able to get the same relability with modern C++. Therefore the new e.g. optional and range types help a lot. But you have to force yourself to not use common C++ patterns as the compiler won‘t help you.
The funny thing is that even 5 years ago, clang-tidy used formal method techniques to perfectly refactor code automatically to a modern and more reliable version.
Everybody seems to be living in the stone age.
@jmw150 A lot of newer versions of OOP langs like Java, Python and Swift borrowed concepts of FP like monadics (Option), match, map/any/…, so FP is somewhat successful.
Yes it is a bit wierd, that Rust is the most loved Lang even though not as much program in it. But more importantly people who code in it like it.
@saxnot
