[Haskell-cafe] 'Associative' order of calling

Kim-Ee Yeoh ky3 at atamo.com
Sat Oct 24 17:55:50 UTC 2015


On Sun, Oct 25, 2015 at 12:42 AM, Matteo Acerbi <matteo.acerbi at gmail.com>
wrote:

> For what concerns question 3, I didn't understand the idea of calling a
> function "associatively".
>

This. Associativity is a property of binary operators. It's not a property
of the catamorphism 'calling' on a given binary operator.

Also, when Charles writes: "Then it goes on to use f in "thisFold f
[0,1,2]" like "f (1 (f 0 2))""

commutativity appears to raise its head.

-- Kim-Ee
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20151025/5c309509/attachment.html>


More information about the Haskell-Cafe mailing list