4 ms·
I mean, I was going to reply "take a wild guess" to him, but your message is correct, too. (I may come across as an Ada zealot myself.)
by johnisgood 10mo ago
I mean, I was going to reply "take a wild guess" to him, but your message is correct, too.
(I may come across as an Ada zealot myself.)
- nickpsecurity 10mo agoQuick, random question. I heard way back that SPARK was getting safe pointers in response to Rust's borrow checker. Has full Ada solved their unsafe de-allocation problem in a way that's comparable to the borrow checker's guarantees?
- johnisgood 10mo agoYes, it was introduced many years ago and has been in production for quite some time now. You can completely eliminate use-after-free, double-free, dangling pointers, memory leaks, and null dereferences. You should take another look, lots have changed in this scene.