Re: [Haskell-cafe] Generics Versus Parametric Polymorphism
Hello Mark, Wednesday, March 11, 2009, 9:11:42 AM, you wrote:
Just wondering if Generics and Parametric polymorphism are one and the same in Haskell.
haskell Parametric polymorphism is the same type of thing as Java Generics :) haskell Generics provides ability to define procedures polymorphic by *any* data type with just a fixed number of definitions there are at least dozen of various tools/libraries supporting Generics in some way in haskell, so indeed we are interested to have at least one with guaranteed availability google for "scrap your boilerplate" paper for a description of one of the most popular Generics implementation -- Best regards, Bulat mailto:Bulat.Ziganshin@gmail.com
Hello porges, Wednesday, March 11, 2009, 12:35:18 PM, you wrote:
Most importantly (or awesomely?), every time Haskell infers the type of a function you've written, you get *the most generic possible* version, for free :)
and using generics, you can get function polymorphic on *any* type just for few pennies more :))) -- Best regards, Bulat mailto:Bulat.Ziganshin@gmail.com
participants (2)
-
Bulat Ziganshin -
porges＠porg.es