Also region inference is likely to be much less effective in a lazy language, because (I think that) data escapes the lifetime of its allocating procedure much more often. I don't know of any work that has even tried it. Simon | -----Original Message----- | From: haskell-bounces@haskell.org [mailto:haskell-bounces@haskell.org] On | Behalf Of Simon Marlow | Sent: 04 August 2009 14:50 | To: Sam Martin | Cc: Colin Runciman; Haskell@haskell.org | Subject: Re: [Haskell] memory management | | On 04/08/2009 13:33, Sam Martin wrote: | >> Sounds like region inference to me. | >> (https://secure.wikimedia.org/wikipedia/en/wiki/Region_inference) | > | > Thanks, yes, that's exactly what I had in mind. | > | > Is anything like this is done in GHC? | | Not at the moment, no. | | Bear in mind that with generational GC, allocating memory that quickly | becomes garbage is quite cheap. | | Cheers, | Simon | _______________________________________________ | Haskell mailing list | Haskell@haskell.org | http://www.haskell.org/mailman/listinfo/haskell