3 ms·
The point of Rust is not to eliminate unsafe, but to minimize it and make the actual unsafe operations visible and easily auditable.
by Ar-Curunir 6y ago
The point of Rust is not to eliminate unsafe, but to minimize it and make the actual unsafe operations visible and easily auditable.
- ghostwriter 6y agook, I'm fine with that, the question is why it is technically better for Linux Kernel than a proper formally-verified implementation that doesn't require Rust toolchain?
- Ar-Curunir 6y agoBecause I can bet that it’s easier to write correct Rust than to write correct ATS.