問答題

【簡答題】表達式(λx.(λyz.(x+y)+z)3)45和(λx.(λyz.(x+y)+z)35)4有同樣的結(jié)果。在抽象機FAM上,哪一個表達式對應(yīng)的目標代碼的執(zhí)行效率高?為什么?

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