6 Nov
2008
6 Nov
'08
3:15 a.m.
Derek Elkins
On Wed, 2008-11-05 at 10:01 -0800, Daryoush Mehrtash wrote:
Lets assume we don't have undefined in the list, are there functions (or properties in the function) that would cause foldl to have different results than foldl'?
The only difference in the definition of foldl and foldl' is a seq so it can only differ due to bottoms as far as semantics is concerned.
Denotational semantics that is, isn't it? -- (c) this sig last receiving data processing entity. Inspect headers for copyright history. All rights reserved. Copying, hiring, renting, performance and/or quoting of this signature prohibited.