[Haskell-cafe] idea for avoiding temporaries

[Dan Weston]

Or possibly more generally copy-on-write, which requires one more level 
of indirection (handle instead of ptr). Since you are talking about 
using ForeignPtr, this is already within your power to prototype, I 
should think.

Dan

Dan Piponi wrote:
> 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
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
> 
>