В Си++ активно используются конструкторы/деструкторы вместе с исключениями.
В Обероне нет утечек памяти, как в Си/Си++, но есть другие ресурсы, засвоевременнымвозвращением которых системе можно было бы следить с помощью какого-либо аналога деструкторов.
Как вы считаете, было бы полезным ввести в Оберон/КП аналог (возможно, по другому реализованный) деструкторов (прежде всего)?
Напомню, что обероны не совсем чужды этим вопросам: секция инициализации (а в КП и секция завершения) модуля, регистрируемые процедуры FINALIZE (?) в КП.