2 ms·
Back when I learned Ada it didn’t have a solution for use-after-free, does DbC fix that by expressing ownership and sharing?
by erik_seaberg 5y ago
Back when I learned Ada it didn’t have a solution for use-after-free, does DbC fix that by expressing ownership and sharing?
- samhw 5y agoThere was a thread a while back which covered the various variants of Ada and how their memory management contrasts with that of Rust: https://news.ycombinator.com/item?id=14210258 https://news.ycombinator.com/item?id=14210258 Basically: no, it likely hasn't changed much since you learned it, unless that was genuinely decades ago. But there are various solutions (or, at least, ideas which are considered solutions, depending on what you consider the problem to be) that you might have missed!