I don’t think this is correct, the code of your example is not correct.
Matteo Ronchetti

You’re right, in mathematics the composition of two function is not commutative but associative.

Independence from application order is not related to composition but to evaluation of pure functions inside a program.

I was mistaken on that point, so I’ll edit the article in consequence.

Thank you for your proofreading Matteo! 😉