seeking ideas for short lecture on type classes

[Christopher Milton]

--- Norman Ramsey <nr@eecs.harvard.edu> 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
cmiltonperl@yahoo.com

__________________________________________________
Do you Yahoo!?
Yahoo! Mail Plus - Powerful. Affordable. Sign up now.
http://mailplus.yahoo.com