24 Oct
2015
24 Oct
'15
5:55 p.m.
On Sun, Oct 25, 2015 at 12:42 AM, Matteo Acerbi
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