[Haskell-cafe] types and number of evaluation steps

[Holger Siegel]

Am 18.02.2012 um 14:38 schrieb Roman Cheplyaka:

> * Holger Siegel <holgersiegel74 at yahoo.de> [2012-02-18 12:52:08+0100]
>> You cannot. Common subexpression elimination is done by GHC very
>> conservatively, because it can not only affect impure programs: it can
>> also affects strictness/lazyness and worsen memory usage of pure code.
>> Like the HaskellWiki says: "If you care about CSE, do it by hand."
> 
> How can it affect strictness or laziness?

I don't know. HaskellWiki says so: http://www.haskell.org/haskellwiki/GHC_optimisations#Common_subexpression_elimination