2 Apr
2008
2 Apr
'08
3:08 a.m.
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/ mailto:voigt@tcs.inf.tu-dresden.de