function in Arrow, do we assume that such functions are associative?
a
Alejandro Serrano.Mena
03/14/2025, 9:17 AM
we don't really require it, but you'll often get surprising results if not
y
Youssef Shoaib [MOD]
03/14/2025, 9:20 AM
So in other words, results are "stable" up-to associativity? As in, some methods that are "equivalent" to one another assume associativity, and hence won't be equivalent if you pass a weird function in?
And I guess library updates may change the semantics for non-associative functions (as in, the order of calls may change)
p
phldavies
03/14/2025, 10:32 AM
is it safer to assume the function is by default left associative and where applicable provide a form suitable for right-associative combines?