[Haskell-cafe] 'Associative' order of calling

Tillmann Rendel rendel at informatik.uni-tuebingen.de
Thu Oct 29 05:53:29 UTC 2015


Hi,

Charles Durham wrote:
> Is there a name for a fold that promises to call a function such that
> only an associative function will always return the same result. Or in
> other words, it has the property that it promises to call a function
> "associatively" on a set of data?

Semigroup homomorphism?

   Tillmann


More information about the Haskell-Cafe mailing list