Hacker News Reader

Very well said.

Rust is the perfect option for projects that:

1) are exposed to untrusted data

2) and, at the same time, their performance is critical

If one of those isn’t true, there are better options. If they are both true though, Rust is pretty much unique.

What would you use where correctness the top priority? Haskell? For the best thing about Rust isn't the performance (although that's great). It's just how reliable my Rust projects have been in production. If you wanted this level of reliability from another language, you'd have to write tests to cover all the possible failure cases. Which is much more time consuming than having the compiler point out all the possible failure points for you.

If correctness is the top priority, then formal verification methods and/or SPARK and/or specialized subsets of C with the tooling that comes with them for safety projects.

Rust and Haskell and standard C and C++ are all non-starters.

If by "correctness" you mean what I call "small-c correctness" ("this reference won't be null", "this function call doesn't write to the database") then Haskell is currently best-in-class. If by correctness you mean what I call "big-V Verification" then the sibling answer[1] is better for you.

[1] https://news.ycombinator.com/item?id=22464576

Reply on news.ycombinator.com