[Haskell-cafe] 'Associative' order of calling

Tom Ellis tom-lists-haskell-cafe-2013 at jaguarpaw.co.uk
Fri Oct 23 15:49:03 UTC 2015

On Fri, Oct 23, 2015 at 11:45:13AM -0400, Charles Durham wrote:
> Let's say you have a function "thisFold :: (a -> a -> a) -> [a] -> a"
> and it says that the function 'f' passed in must be associative.
> Then it goes on to use f in "thisFold f [0,1,2]" like "f (1 (f 0 2))".
> Obviously f is still associative, but 'thisFold' did not call f
> 'associatively' on the data. My question is if there is a name for what
> property this broke by not calling f 'associatively'.
> Does that make sense?

I don't think it makes sense.  You're asking whether there's a *name* for
the property it broke, but is there even a property it broke at all?  If so,
can you write the property down (without naming it)?


More information about the Haskell-Cafe mailing list