Lambda Calculus.
ကို f ထဲထဲ့ပြီး ထပ် run လိုက်ရင် အပိုတခေါက် run မယ် ဒါဆို n+1 ခါ run ပြီပေါ့။ ဒါကြောင့် f(n f x) သည် n+1 ဒါမှမဟုတ် successor function ရတယ်ပေါ့။ JS နဲ.ဆို ဒီလို define လုပ်လို.ရမယ်။ SUCC = n => f => x => f(n(f)(x)) ခုနက code တွေ အောက်ကို ဒါလေး ထဲ့လိုက်ရအောင် let SUCC = n => f => x => f(n(f)(x)) let