Вобсуждении WITHсозрело некое, вроде бы, подтверждение (моего любимого) тезиса, что интерпретация ООП в Оберонах выявляет фундаментальный смысл ООП как способа расслоения функциональности между модулями в настоящей модульной системе.

Когда управление списком -- в одном модуле, а наполнение элементов списка конкретным смыслом -- в других.

Из этого требования полиморфизм и проч. получается, вроде бы, как следствие (интересно это подтвердить явными рассуждениями).

Можно оторвать полиморфизм-... от этой определяющей подложки и объявить особой парадигмой, философией, бла-бла-бла -- но лично мне это представляется наведением тени на плетень.