[Haskell-cafe] strictness analysis on algebraic data types

Peter Verswyvelen bugfact at gmail.com
Fri Aug 28 09:54:08 EDT 2009

I'm reading the book "Modern Compiler
and in the chapter about functional programming it is stated that strictness
analysis in the presence of ADTs (aka records) is a very hard problem to
I'm not sure what the current state of art is here (e.g GHC or JHC), and
don't understand what the problem is.

Does it mean that it's a good idea to carefully consider when to make data
constructor arguments (aka fields) strict, since the compiler can't do good
strictness analysis when it encounters say a record with many lazy fields?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20090828/dc386051/attachment.html

More information about the Haskell-Cafe mailing list