Polymorphism in the Prelude

Tom Ellis tom-lists-haskell-cafe-2013 at jaguarpaw.co.uk
Wed Jun 18 13:06:29 UTC 2014


On Wed, Jun 18, 2014 at 08:49:00AM -0400, Jake McArthur wrote:
> I find this argument against polymorphism baffling. Do I really have to
> state the benefits of parametricity here? Probably not. Most likely, there
> is some specific style of polymorphism in mind going unsaid here, such as
> ListLike type classes that have tons of methods and don't really have any
> meaningful laws. Is this the case, or do you *really* mean to argue that
> polymorphism makes code confusing? If the latter, would you mind explaining
> why?

Looking back through this thread it seems to me that it is typeclass
polymorphism that is being discussed, not parametric polymorphism.

Tom


More information about the Libraries mailing list