On Mon, 10 Jan 2000, Jerzy Karczmarczuk wrote:
> The fact that there is only one implementation is *NOT THE FAULT OF
> HILT*.
> You may write your own if you wish, isn't it? The Clean language is not
> patented as far as I know.
How difficult would this be? I can imagine a simple translation from the
basic Clean language to Haskell (just modify the syntax and throw away the
uniqueness annotations :-). But beyond that, things would get very
complicated: type checking the uniqueness annotations would be possible
(BTW is the Clean report precise (ie (semi-)formal) enough for this?), but
I think the main problem is in implementing the IO library... Also writing
a code generator would be a very large task.
What would be the best approach to tackle this problem?
All the best,
Jan de Wit
