3 ms·
Ada has destructors and can limit pointer type to lifetimes of large memory pools, but as far as I know it doesn’t prevent use-after-free for single objects the
by erik_seaberg 5y ago
Ada has destructors and can limit pointer type to lifetimes of large memory pools, but as far as I know it doesn’t prevent use-after-free for single objects the way Rust does. Lots of Ada is embedded on small platforms where they statically allocate a fixed number of objects anyway.
- krupan 5y ago"Lots of Ada is embedded on small platforms where they statically allocate a fixed number of objects anyway." Which is what a lot of c code does too. And zig might too?