The introduction for functions compose is here.
Definition : Functions Compose
compose = (funa, funb) => (c) => funa(funb(c));
Now we are supposed to give the proof and derivation process of the following conclusions
Associate Law For Functions Compose
compose((funa, funb), func)) = compose(funa, (funb, func))
It's simple to prove this proposition with the definition of functions compose.
according to
We assign the argument b
with
So we get
We find that
So we have the conclusion
QED.
We logically have the expanded conclusion: If there are n function combinations
The proof of this proposition is omitted.