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
