S is defined as S x y z = x z (y z)
This suggest that (y z)
should be evaluated just after x z
and the the results of x z
is applied to the results of (y z)
.
I'm implementing call by value in lambda calculus, I would need to support parenthesis when evaluating this expression right? Does this affect the results? I thought that the order would not matter, so why the parenthesis in (y z)
?
Regards