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

D>любая факторизация кода дает комбинаторный взрыв, при чем тут наследование..

Если мы говорим о статической типизации без наследования, то, вроде как, нет. Набор функций, написанных для одного типа, не дает никакой функциональности для вновь созданного типа, даже если эти два типа концептуально родственны (если только не написать делегирурующие обертки вручную).

Если говорить о динамической типизации, то, фактически, это разновидность полиморфизма, на котором можно построить структуру, аналогичную наследованию, так что это эквивалентная задача.