[Haskell-cafe] Re: FW: Haskell

[Lennart Augustsson]

Mark Jones brought higher order polymorphism to Haskell.

On Wed, Apr 2, 2008 at 8:08 AM, Janis Voigtlaender <
voigt at tcs.inf.tu-dresden.de> 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:voigt at tcs.inf.tu-dresden.de
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20080403/92832e84/attachment.htm