3 ms·
The only way this can work in practice is restricting the memory patterns that the developer can use, which is what we see in Rust. Is it impossible to prove m
by lambda_garden 3y ago
The only way this can work in practice is restricting the memory patterns that the developer can use, which is what we see in Rust.
Is it impossible to prove memory safety in the general case due to the halting problem?
- naasking 3y agoIt's possible to permit arbitrary memory patterns by adding ref counts in specific ways: https://www.microsoft.com/en-us/research/publication/perceus-garbage-free-reference-counting-with-reuse/ https://www.microsoft.com/en-us/research/publication/perceus... It's interesting how much there still is to discover in this space, despite decades of research.
- pjmlp 3y agoIt is like Xerox and ETHZ use of memory safe systems languages for graphical workstations, monetary and human issues hinder adoption of great research ideas.