[Haskell-cafe] Re: OOPer?
jonathanccast at fastmail.fm
Mon Nov 17 13:48:21 EST 2008
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?
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.)
More information about the Haskell-Cafe