News for hackers. Stuff that matters.

A comment on Rust wont save us, but its ideas will. Parent comment

Re:Rust wont save us, but its ideas will by MattPalmer1086 on Friday February 09, 2024 @03:55AM (#39312853)
True, but you can use languages that avoid whole classes of bug!

I guess my only point is that CHERI may protect you from the worst abuse of those bugs, but it still doesn't mean you shouldn't use something that doesn't suffer from them in the first place!

[ Parent | on HN ]
Re:Rust wont save us, but its ideas will by slimsag on Friday February 09, 2024 @03:08PM (#39319873)
How far should one go with that line of thinking?

Should we all be using formally verified C that e.g. the aerospace industry uses? It can prevent whole classes of logic bugs that languages like Rust couldn't dream of

[ Parent | on HN ]
Re:Rust wont save us, but its ideas will by MattPalmer1086 on Sunday February 11, 2024 @05:57AM (#39334166)
Obviously, you don't need to do that for the majority of things.

My point is much simpler, if you can use something that removes bugs with no appreciable additional effort (or actually less effort), why wouldn't you?

[ Parent | on HN ]