問答題

【簡(jiǎn)答題】表達(dá)式（λx.（λyz.（x+y）+z）3）45和（λx.（λyz.（x+y）+z）35）4有同樣的結(jié)果。在抽象機(jī)FAM上，哪一個(gè)表達(dá)式對(duì)應(yīng)的目標(biāo)代碼的執(zhí)行效率高？為什么？

答案： 第一個(gè)表達(dá)式在執(zhí)行λyz.（x+y）+z）3時(shí)出現(xiàn)參數(shù)個(gè)數(shù)不足的情況，因此有FUNVAL的值進(jìn)入棧頂，然后發(fā)現(xiàn)參數(shù)個(gè)數(shù)不...
微信掃碼免費(fèi)搜題