Mark Jones brought higher order polymorphism to Haskell. On Wed, Apr 2, 2008 at 8:08 AM, Janis Voigtlaender < [EMAIL PROTECTED]> wrote:
> apfelmus wrote: > > > Janis Voigtlaender wrote: > > > > Loup Vaillant wrote: > > > > > > Thanks to some geniuses (could someone name them?), we have type > > > > classes and higher order types in Haskell (and even more). > > > > > > > > > > > > > As far as names go: > > > > > > .... for type classes, of course Wadler, but also Blott and Kaes. > > > > > > .... for higher order types, well, where to start? > > > > > > > > > Girard and Reynolds? > > > > Yes, that's the obvious suspects, of course. But I'm not sure I would > say they brought polymorphism (assuming that's what is meant by "higher > order types") to Haskell. Not in the same way Wadler and co. brought > type classes, quite specifically, to Haskell. > > -- > Dr. Janis Voigtlaender > http://wwwtcs.inf.tu-dresden.de/~voigt/<http://wwwtcs.inf.tu-dresden.de/%7Evoigt/> > mailto:[EMAIL PROTECTED] > _______________________________________________ > Haskell-Cafe mailing list > Haskell-Cafe@haskell.org > http://www.haskell.org/mailman/listinfo/haskell-cafe >
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe