Здравствуйте, korvin_, Вы писали:

_>·>Так в данном случае это отличие динамической типизации и статической, а не особенности ООПшнсти. Во всяких Java вызов неизвестного метода просто не может произойти, т.к. такой код даже невалиден с т.з. компилятора.

_>ООПшность динамична по определению: только объект, в общем случае, знает какие сообщения он может обработать и как, а не компилятор.

Отсюда вроде бы следует вывод, что статически типизированных ОО-языков не может быть в принципе.