Strictness confusion

[Alastair Reid]

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