<div dir="ltr">Me too. Last I heard, there wasn't any code that depended on foldl being lazy, and it doesn't really seem possible.<br><br><a href="http://www.well-typed.com/blog/90/">http://www.well-typed.com/blog/90/</a><br><div><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Feb 20, 2015 at 1:13 AM, Roman Cheplyaka <span dir="ltr"><<a href="mailto:roma@ro-che.info" target="_blank">roma@ro-che.info</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">I'd be curious to see a (non-contrived) example.<br>
<div class=""><div class="h5"><br>
On 20/02/15 09:05, David Feuer wrote:<br>
> Probably not. There's real code that depends on the current foldl semantics.<br>
><br>
> On Wed, Feb 18, 2015 at 10:40 AM, Joe Hillenbrand <<a href="mailto:joehillen@gmail.com">joehillen@gmail.com</a>> wrote:<br>
>> Is foldl = foldl' ever going to happen?<br>
>><br></div></div></blockquote></div></div></div></div>