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

S>ООП ... и сокращения кода за счет наследования и переопределении методов.
S>Плюс поддержка интерфейсов, замена множественного наследия.

В ООП языках представлена очень ограниченная версия — signle param dispatch.
В FP языках (Haskell/Scala — type classes, LispCLOS/Julia — multiple params dispatch) без ограничений.