>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
- Re: Haskell Wish list: library documentation Jon . Fairbairn
- Re: Haskell Wish list: library documentation Marcin 'Qrczak' Kowalczyk
- Re: Haskell Wish list: library documentation Christian Sievers
- Re: Haskell Wish list: library documentation Bart Demoen
- Re: Haskell Wish list: library documentation Martin Norb{ck
- RE: Haskell Wish list: library documentation S. Alexander Jacobson
- Re: Haskell Wish list: library documentation Richard Watson
- RE: Haskell Wish list: library documentation Simon Peyton-Jones
- RE: Haskell Wish list: library documentation Simon Peyton-Jones
- RE: Haskell Wish list: library documentation trb
- RE: Haskell Wish list: library documentation Johan Jeuring
- RE: Haskell Wish list: library documentation Simon Peyton-Jones
- RE: Haskell Wish list: library documentation Mark P Jones
- RE: Haskell Wish list: library documentation S. Alexander Jacobson
- RE: Haskell Wish list: library documentation trb
- RE: Haskell Wish list: library documentation trb
- RE: Haskell Wish list: library documentation Johan Jeuring
- RE: Haskell Wish list: library documentation Lars Lundgren
- RE: Haskell Wish list: library documentation Lars Lundgren
- Re: Haskell Wish list: library documentation Keith Wansbrough
- RE: Haskell Wish list: library documentation Mark P Jones