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 <[EMAIL PROTECTED]> 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@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
