[Haskell-cafe] idea for avoiding temporaries

[Dan Piponi]

On 3/8/07, David Roundy <droundy at darcs.net> 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