13.2函数式语言的编译简介 13.2.1几个受启发的例子 例3if(ifl≠2 then true else false)then3else4 if1≠2 then true else false的结果在栈上更好，因 为假转指令false希望在栈顶测试它的值 - 由此，表达式的编译方式还依赖于上下文 由上下文可知，表达式true和false也应该按照结 果在栈上的方式来编译13.2函数式语言的编译简介 13.2.1 几个受启发的例子 例3 if (if 12 then true else false) then 3 else 4 – if 1  2 then true else false的结果在栈上更好，因 为假转指令jfalse希望在栈顶测试它的值 – 由此，表达式的编译方式还依赖于上下文 – 由上下文可知，表达式true和false也应该按照结 果在栈上的方式来编译