I haven't written enough Ada to know the answer (I've only researched the memory management scheme as part of implementing a language with compile-time ownershi

I haven't written enough Ada to know the answer (I've only researched the memory management scheme as part of implementing a language with compile-time ownership tracking). I think the Ada answer would be to keep everything that has a lifetime, anything that's a resource, in its own module behind a strict limited controlled interface. But that's a very vague answer.