Почитал тут на днях статейку, очень спорная, но вот соглашусь, что ООП ограничивает зачастую программиста иерархичностью своей структуры (ограниченность наследования как парадигмы), когда реально дизайн программы выливается в дерево (в лучшем случае в лес, но тут необходимо мн. наследование).
Возмём широкоупотребительные языки С++, Java и C#. Получаем, что последние оба затиснуты в рамки как раз этой "древовидности". А плюсы (как бы их не матюгали и не говорили что это язык отживающий своё уже) на данный момент имеют более свободную от связи парадигму, назовём её "generic prgramming". Т.е. те же шаблоны на свои параметры не накладывают (если программист не извратится ) ограничений, аля, что он должен наследоваться от опр. класса, а ограничивают некое подмножество интерфейса класса (а может и примитивного типа), возможно очень простое (аля возможность присваивания между экземплярами и операция сравнения между ними).
Generics, имхо (да и не только имхо вроде) не могут заменить шаблоны C++, т.к. это всёже идиома runtime, а не этапа компиляции как в C++.
Так чтоже C++ — это шаг назад или вперёд? (тоже самое можно про C# сказать, только тут будет ситуация наоборот, я думаю)

Буду рад услышать люб. мнения