alastair at reid-hoffmann.net
Fri Jun 25 04:36:55 EDT 2004
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 Yale
team late in the development so I don't know how effective it was or what the
interesting issues were but there's plenty of papers/ research reports about
Yale's strictness analysis and optimization.
More information about the Glasgow-haskell-users