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

E>Так вот мне интересно, не является ли Duck typing следующей парадигмой после ООП? Ведь в duck typing нет отношения "is-a", а есть что-то типа "like-a" ("can", "respond_to"). Т.е., наследования нет, а полиморфизм, благодоря динамической типизации, есть.

E>Может быть ООП уже исчерпала себя (как в свое время структурное программирование) и сейчас мы наблюдаем за возникновением новой парадигмы?

Кстати, динамическая типизация тут не обязательна. В С++ возможно объявить шаблонную функцию, которая будет рассчитывать на наличие определенных методов у своих аргументов — и это будет то же самое (только эти требования нигде в коде явно не прописаны, что плохо). Например, в качестве итератора можно передать какой угодно объект, имеющий оператор ++ (и может быть + и -), а в качестве аллокатора соответственно передается любой класс, имеющий такой же набор методов.