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-boun...@haskell.org [mailto:haskell-boun...@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

_______________________________________________
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell

Reply via email to