Re: [Haskell-cafe] idea for avoiding temporaries

On 3/8/07, David Roundy wrote:

I started wondering whether there's a solution that would allow us to write pretty high-level pure functional code, while the RTS can realize at run-time that we have the only reference to the input argument and that it is therefore safe to consume it destructively.

I think you're talking about uniqueness typing which is supported by the programming language Clean. -- Dan