[Haskell-cafe] idea for avoiding temporaries
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