<div dir="ltr"><div>The type is:</div><div><br></div><div>foldl :: (a -> b -> a) -> a -> [b] -> a</div><div><br></div><div>Eg I might do something like this:</div><div><br></div><div>foldl (+) 0 [1..10]</div>
<div><br></div><div>so taking (a -> b -> a)</div><div><br></div><div>leftmost a is (+)</div><div>b is 0</div><div>right a is what?  The first value in the list?</div><div><br></div><div>Then -> ?</div><div><br></div>
<div>[b] ?  Is this like the temporary recursion calculation?</div><div><br></div><div>final -> a is the result?</div></div>