Mark Jones brought higher order polymorphism to Haskell.<br><br><div class="gmail_quote">On Wed, Apr 2, 2008 at 8:08 AM, Janis Voigtlaender <<a href="mailto:voigt@tcs.inf.tu-dresden.de">voigt@tcs.inf.tu-dresden.de</a>> wrote:<br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><div class="Ih2E3d">apfelmus wrote:<br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
Janis Voigtlaender wrote:<br>
<br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
Loup Vaillant wrote:<br>
<br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
Thanks to some geniuses (could someone name them?), we have type<br>
classes and higher order types in Haskell (and even more).<br>
</blockquote>
<br>
<br>
As far as names go:<br>
<br>
.... for type classes, of course Wadler, but also Blott and Kaes.<br>
<br>
.... for higher order types, well, where to start?<br>
</blockquote>
<br>
<br>
Girard and Reynolds?<br>
</blockquote>
<br></div>
Yes, that's the obvious suspects, of course. But I'm not sure I would<br>
say they brought polymorphism (assuming that's what is meant by "higher<br>
order types") to Haskell. Not in the same way Wadler and co. brought<br>
type classes, quite specifically, to Haskell.<div class="Ih2E3d"><br>
<br>
-- <br>
Dr. Janis Voigtlaender<br>
<a href="http://wwwtcs.inf.tu-dresden.de/%7Evoigt/" target="_blank">http://wwwtcs.inf.tu-dresden.de/~voigt/</a><br>
mailto:<a href="mailto:voigt@tcs.inf.tu-dresden.de" target="_blank">voigt@tcs.inf.tu-dresden.de</a><br>
_______________________________________________<br></div><div><div></div><div class="Wj3C7c">
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org" target="_blank">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
</div></div></blockquote></div><br>