Strictness confusion

Alastair Reid alastair at
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.

Alastair Reid

More information about the Glasgow-haskell-users mailing list