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 [m
| In the early to mid '90s we built various heap-profiling tools to
| examine the characteristics of heap data in lazy functional programs.
| You can find papers describing this work by Googling "heap profiling".
| You may be particularly interested in the investigation of "heap lag"
| and "heap dr
On 06/08/2009 08:22, Simon Peyton-Jones wrote:
| In the early to mid '90s we built various heap-profiling tools to
| examine the characteristics of heap data in lazy functional programs.
| You can find papers describing this work by Googling "heap profiling".
| You may be particularly interested
I can see how laziness works against this, and agree it's probably not suitable
for most lazy code. Generational GC does sound much more appropriate.
But fair chunks of Haskell code can be known to be strict. Either from analysis
of the code, or explicit instruction by the programmer. (I also ha
It has been brought to my attention (as errata editor of the revised
H'98 report) that there is a bug in the language definition,
concerning strictness annotations on datatypes.
In section 4.2.1, the translation of strict components of a data
constructor is defined as
(\ x1 ... xn -> ( ((K
A postdoc position and a Ph.D. scholarship are available at the Department of
Computer Science, University of Copenhagen (DIKU) within 3d generation
enterprise resource planning systems (3gERP), a collaborative strategic
research project with partners at DIKU (computer science), Copenhagen
Business
Meacham's JHC was headed towards region inference for a while (and may still
be), and I spent some time trying to use region inference in a research
compiler of my own, and I think both projects effectively came to that same
conclusion -- regions and laziness don't mix. Finding useful regions in a
