[Haskell-cafe] Re: OOPer?

[Jonathan Cast]

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