[Haskell-cafe] idea for avoiding temporaries

Dan Piponi dpiponi at gmail.com
Thu Mar 8 13:27:49 EST 2007

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.

More information about the Haskell-Cafe mailing list