3 ms·
> How is that any improvement on any other language? Rust provides more facilities for exposing efficient, safe interfaces to unsafe code than do many other la
by Jweb_Guru 11y ago
> How is that any improvement on any other language?
Rust provides more facilities for exposing efficient, safe interfaces to unsafe code than do many other languages. The existence of safe and unsafe are not particularly interesting by themselves.
- shadowmint 11y agoPerhaps... but if you have to formally verify the entire module, those facilities aren't doing much good are they?
- Jweb_Guru 11y agoYou don't have to formally verify the entire module. The module "just" has to be correct :P. Additionally, very often, unsafe code is used in ways that cannot contaminate the entire module (that's the ideal, in fact), and the module that the unsafe code is used in is made deliberately small.