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

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

Ну, если говорить о "сферическом чистом ООП в вакууме", то да. А так на практике просто идут на компромисы ради бенефитов от типизации. Так же как и чисто статических, навенрное, не может быть в принципе, либо они не слишком удобны на практике в сколько-нибудь широком круге задач. Я имею в виду языки с зависимыми типами, вроде Agda, Coq, Idris и т.п.