alt Hacker NewsI 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.)
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.)
Quick, 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?