I learned that expressions are left associative while abstraction are right associative, however, while solving some examples i faced this problem. Succ 3 Succ 2 when i applied left associativety i got (Succ 3) Succ) 2 which was extremely long to solve. However, i saw this guy on the internet, he said that we should parse it as Succ (3 Succ 2) which is Succ ( Succ Succ Succ 2) and the result is 6. AND THE ANSWER IS RIGHT! So now i am confused, during execution, should use the left or the right rule??
Succ ( Succ Succ Succ 2)
expansion can't possibly be correct since it doesn't follow any associativity rule, be it left or right. I also don't understand why((Succ 3) Succ) 2
is extremely long to solve. 6 is indeed the correct answer. $\endgroup$Succ
and definition of what you get after simplifyingSucc 3
. $\endgroup$