[Haskell-cafe] types and number of evaluation steps
holgersiegel74 at yahoo.de
Sat Feb 18 14:58:09 CET 2012
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
More information about the Haskell-Cafe