[Haskell-cafe] Re: Typeclasses and implicit parameters
ccshan at post.harvard.edu
Thu Sep 6 09:50:10 EDT 2007
ajb at spamcop.net wrote in article <20070906064921.86dtrwt0v4go4s08 at webmail.spamcop.net> in gmane.comp.lang.haskell.cafe:
> That higher-rank type makes all the difference.
Yes. You can even do this portably, using nothing "unsafe", with Dylan
Oleg Kiselyov and Chung-chieh Shan. 2004. Functional pearl: Implicit
configurations -- or, type classes reflect the value of types. In
Proceedings of the 2004 Haskell workshop, 33-44. New York: ACM Press.
Edit this signature at http://www.digitas.harvard.edu/cgi-bin/ken/sig
We're not "teaching Scheme." I spend about an hour teaching Scheme,
and for the rest of the semester I /use/ Scheme to teach
Brian Harvey (UC Berkeley) on comp.lang.scheme. Aug 22, 2007.
More information about the Haskell-Cafe