[Haskell-cafe] Working Generic/Polytypic Haskell extension

[Sean Leather]

Hi Mulhern,

I would like to teach a small section on polytypism/genericity in the
> "functional programming using Haskell" course I'm teaching. I won't, though,
> unless I can assign an actual programming exercise in polytypic programming,
> however brief. Can anybody recommend a functioning compiler that I can
> reasonably require the students to use in doing this assignment? I am not
> up-to-date on the current state of research in this topic in Haskell and
> hope that some people on the list can help me out.


There is of course Generic Haskell [1], which works. It is not being
maintained anymore, but it still does what it was designed to do. There are
plenty of publications to use for resources.

Currently, most of the work on datatype-generic programming generally ends
up in libraries and not in language extensions. You can see quite a few on
Hackage [2]. Many of them have links to publications for further study.

At Utrecht University, we have a master's course on Generic Programming [3].
That may be more than you want, but you can refer to our slides for further
information. We also use lecture notes [4] for this course. They provide a
pretty good introduction to a few libraries, LIGD, EMGM, and SYB.

Hope this helps! Let us know if you would like something else.

Regards,
Sean

[1] http://www.cs.uu.nl/research/projects/generic-haskell/
[2] http://hackage.haskell.org/packages/archive/pkg-list.html#cat:generics
[3] http://www.cs.uu.nl/wiki/GP
[4] http://www.cs.uu.nl/research/techreps/UU-CS-2008-025.html
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20101026/1ff94edb/attachment.html