Я не говорю про оптимизацию, я говорю про элементарные (как это представляется сегодня) удобства: не писать заголовки процедур дважды (разделение на заголовочную часть и реализацию), не писать объявления переменных заранее отдельно от кода (отдельные блоки var), не писать объявления переменных вообще (автовывод типов), не обязывать программиста соблюдать определённый порядок определения процедур и использовать forward декларации. Язык Modula-2 построен так, чтобы компилятору было удобно с ним работать в ущерб удобству программиста.

Я не говорю, что Модула-2 — это не ООП-язык. Я говорю, что это язык из до-ООП-эры, что вы и подтверждаете, говоря "идеология такое не приветствует". Вирт, безусловно, во многом предвосхитил пост-ООП эру, видя фундаментальные проблемы ООП и отстаивая свою точку зрения, но это больше плюс Вирту, а не плюс его языкам. До сих пор чтобы программисту войти в пост-ООП эру, научиться не использовать ООП, необходимо сначала в совершенстве научиться ООП. Тот же путь было необходимо проделать языкам и отрасли в целом, и Modula-2 — камень из начала этой дороги, а не конца.