3 ms·
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 on
by jfkebwjsbx 7y ago
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.
- nicoburns 7y agoWhat 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.
- jfkebwjsbx 7y agoIf 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.
- tome 7y agoIf 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 https://news.ycombinator.com/item?id=22464576