[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