RE: Haskell Wish list: library documentation

[Johan Jeuring]

>I don't want to give the impression that I think the advocates of
>polytypism or arrows (...etc...) have done a poor job of describing
>them.  Far from it -- there are lots of papers about polytypism for
>example, and it is fine work.  But as a not-very-bright implementor
>I'm just not going to get around to implementing a general idea; I
>need a precise design.   

I agree: and I think Haskell's polytypic programming extension PolyP
(developed by Patrik Jansson and me) is not mature enough to be included in
a Haskell compiler: until recently we had design problems (with multiple
argument and/or mutual recursive datatypes). Recent work by Hinze gives a
nice solution to our problems, and Hinze and I agreed to implement the
ideas. So hopefully we will have a precise design + implementation of
polytypic/generic programming in a not too distant future.

-- Johan Jeuring