2008/4/2, Janis Voigtlaender <[EMAIL PROTECTED]>: > 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.
By "higher order types", I meant the type of runST (ST monad), or dpSwich (in yampa). I meant things like "(forall a, a-> b) -> a -> b", and maybe existential types as well. But now you mention it, I don't know who came up with mere parametric polymorphism. (Hindley, Damas, Milner?) Anyway, thanks for the names (now I have more papers to swallow :-). Loup _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe