[Haskell-cafe] types and number of evaluation steps

[Victor Gorokgov]

example = a + b + a + b

exampleCSE = x + x
   where x = a + b

With CSE we are introducing new thunk: x.

18.02.2012 17:38, 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?
>