17 Nov
2008
17 Nov
'08
1:48 p.m.
On Mon, 2008-11-17 at 16:39 -0200, Maurício wrote:
(...)
GHC says that the type of the result of 'function' is both determined by the "rigid type" from MyClass and the "rigid type" from MyData. But why can't both be the same?
are you OOPer? :)
What is an OOPer?
Object-Oriented Programmer. A species that frequently finds Haskell type classes and polymorphism very confusing. (Hint: the similarity between Haskell type classes and OO classes pretty much begins and ends at the name. Similarly for Haskell/ML polymorphism and OO polymorphism. They have points of similarity, but on net the best plan is to simply never reason analogically from one to the other.) jcc