18 Jun
2014
18 Jun
'14
9:06 a.m.
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