4 ms·
IIRC memory safe Ada doesn't allow for deallocation. Kinda sorta cheating. ;)
by com2kid 8y ago
IIRC memory safe Ada doesn't allow for deallocation.
Kinda sorta cheating. ;)
- pjmlp 8y agoIt does via memory pools, RAII (aka controlled types) and dynamic stack allocation.
- com2kid 8y agoIt isn't truly safe like Rust, as Ada can still have dangling pointers laying around, the free function is called "Unchecked_Deallocation", not sure if newer Ada has any mechanisms for better ownership semantics.