Re: potential Ada feature - comments?

[Matt Borchers <mattborchers@gmail.com>]

I am not a proponent of OOP in general but I do think that some of the principles of it can lead to better software.

I like the idea of defining how resources should be returned at the point where they are acquired, but that does not define WHEN that should happen unless it is assumed that "going out of scope" is always the proper time.  Ada is still a procedural language such that, outside of using Controlled types, one can read the lines of a sub-program and know the exact order of what is going to be executed.

My "inconvenience" is that there is no place in the syntax to execute code after the sub-program's main exception handler except to create a unfortunate anonymous block only to provide that space following it.  Returning resources is only one example of a use-case for this syntax.  I think there are other reasons this would be helpful.