[Haskell-cafe] Re: foldl vs foldl'

[Achim Schneider]

Derek Elkins <derek.a.elkins at gmail.com> wrote:

> 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.