[clean-list] Clean on Unix
Simon Peyton-Jones
simonpj@microsoft.com
Tue, 13 Mar 2001 02:35:09 -0800
| Purely for interest, does this mean that they will extend
| Haskell to do
| uniqueness? Are there any papers/references about this or something in
| this vein?
No, Peter Achten and I found we could re-interpret the uniqueness stuff
using Haskell's IO monad. There's a paper
http://research.microsoft.com/~simonpj/#clean
The port still needs work to complete it. Would anyone on this list
feel inclined to do so? (You may think it's a bit cheeky of me to suggest
this, but I think that the best way to make functional programming have
more impact is to make use of each others' good ideas. The Clean I/O
library is excellent, and by porting it to Haskell you would help to expose
those good ideas to a wider community. That's why Peter did the initial
work, but he doesn't have time to complete it.)
Simon