[Haskell-cafe] Re: FW: Haskell
voigt at tcs.inf.tu-dresden.de
Wed Apr 2 03:08:38 EDT 2008
> 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
mailto:voigt at tcs.inf.tu-dresden.de
More information about the Haskell-Cafe