--- Norman Ramsey <[EMAIL PROTECTED]> wrote: > In a fit of madness, I have agreed to deliver a 50-minute lecture > on type classes to an audience of undergraduate students. These > students will have seen some simple typing rules for F2 and will > have some exposure to Hindley-Milner type inference in the context > of ML. I am soliciting advice about > * Cool examples of type classes > * Papers I could read to explain how to implement type classes, > especially if I could show the `dictionary translation' which > is then followed by ordinary Hindley-Milner type inference > * Any other material on which I might base such a lecture > I'm especially in need of a guide to the literature, as > the `Haskell bookshelf' at haskell.org is silent on the topic > of type classes.
http://www.research.avayalabs.com/user/wadler/topics/type-classes.html http://www.dcs.qmul.ac.uk/SEL-HPC/Articles/GeneratedHtml/functional.imptype.html http://haskell.readscheme.org/lang_sem.html ===== Christopher Milton [EMAIL PROTECTED] __________________________________________________ Do you Yahoo!? Yahoo! Mail Plus - Powerful. Affordable. Sign up now. http://mailplus.yahoo.com _______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
