25 Jun
2004
25 Jun
'04
8:36 a.m.
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. -- Alastair Reid