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?
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