simonpj at microsoft.com
Fri Jun 25 04:39:10 EDT 2004
Indeed. GHC's existing strictness analyser answers precisely this
question too -- that's not the point. The question is what it does with
the information. At the moment the info flows upwards to x's binding
site. What's wanted here is to make it flow downwards to x's uses.
| -----Original Message-----
| From: Alastair Reid [mailto:alastair at reid-hoffmann.net]
| Sent: 25 June 2004 09:37
| To: glasgow-haskell-users at haskell.org
| Cc: Simon Peyton-Jones; Ian Lynagh
| Subject: Re: Strictness confusion
| On Friday 25 June 2004 09:17, Simon Peyton-Jones wrote:
| > b) Adding a new top-down sweep to the strictness analyser.
| > (e.g. "what demand is placed on x by evaluating (f (g x))?").
| IIRC, the Yale Haskell compiler did this kind of thing. I joined the
| team late in the development so I don't know how effective it was or
| interesting issues were but there's plenty of papers/ research reports
| Yale's strictness analysis and optimization.
| Alastair Reid
More information about the Glasgow-haskell-users