Why Rust helps even if you have to use a lot of `unsafe`

Re:Why Rust helps even if you have to use a lot of `unsafe` by adgjlsfhk1 on Friday August 04, 2023 @01:05AM (#36995691)

nothing, but a programmer who does so knows they are creating an abomination while in C, it's just a normal day. (and for anyone looking at the code, the rust version will look like a buggy mess, while the C version will look like correct C code).

[ Parent | on HN ]

Re:Why Rust helps even if you have to use a lot of `unsafe` by ActorNightly on Friday August 04, 2023 @02:54PM (#37004225)

Yeah this doesn't play out in real world.

Look at any large enterprise Java project. People take shortcuts and break things all the time, even with fairly strict typing and memory safety.

Of course you can enforce things like "no unsafes ever in codebase" on a project, but if you have to reply on guidance for development, then you can simply say "first we write a complete set of tests that are a contract on correct operation, then we develop code", at which point the language choice becomes irrelevant.

[ Parent | on HN ]

Re:Why Rust helps even if you have to use a lot of `unsafe` by DrMeepster on Saturday August 05, 2023 @09:09PM (#37017941)

Banning unsafe is actually really easy. Just one line `#![forbid(unsafe_code)]` at the start of your code.

[ Parent | on HN ]