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 _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
