Hacker News new | ask | show | jobs
by rhn_mk1 1024 days ago
IMO not every coder is sloppy with use-after-free. Not everyone is slopy with incorrect mutability. [...] Not everyone is sloppy with $THING[N]. But it's hard to consistently not be sloppy in any one of them, and N are so many that almost everyone is sloppy with at least one of them, most of the time.

Each probablility of a mistake may be low on its own, but they compound with every avenue to make mistakes.

1 comments

I've spent hours helping my students debug their Rust programs of incorrect array-indexing logic, incorrectly-reasoned loop invariants, incorrect conditional logic, and everything in between. They're not double-deleting raw pointers, but then again, most C++ programs don't use raw pointers these days either...

"Rust makes a few classes of bugs impossible to write by construction" is a very nice feature of the language. But I'm really turned off by how insufferable the Rust community is (which shines through in the OP's blog post and several comments elsewhere in the responses): it's never the quote at the start of this paragraph; it's always "writing software in anything but Rust is fundamentally irresponsible!" or "if a Rust program compiles, it must be correct!" No, not even close.