I never understood why anyone would want a hybrid of OO and functional programming.
I see OO as basically: Encapsulation, Inheritance and Polymorphism.
Functional programming provides better facilities for encapsulation and polymorphism. Interface inheritance is pretty much a subset of implicit traits or type-classes. I don't think implementation inheritance is ever the right thing.
So if you have the full power of FP (including existential types and type-classes), what is it in OO that you would yearn for?
I see OO as basically: Encapsulation, Inheritance and Polymorphism.
Functional programming provides better facilities for encapsulation and polymorphism. Interface inheritance is pretty much a subset of implicit traits or type-classes. I don't think implementation inheritance is ever the right thing.
So if you have the full power of FP (including existential types and type-classes), what is it in OO that you would yearn for?