Вова Патрышев
Некоторое время назад обратился в функциональную веру и сейчас заподозрил страшное - что ООП не совместимо с принципом подстановки. Иллюстрируя то примерами из Жабы. Скажите ему кто-нибудь, кто у него не забанен - дело тут не в ООП, а в кривом дизайне Жабы. В качестве примера ОО языка, где все типи-топ пойдет хотя бы Objective Caml.