132函数式语言的编译简介 1321几个受启发的例子 12 letrecx==1y;y=0;==x in 1+2 由ere或函数抽象引入的变量在FAM的栈上分 配单元 x、y和z的等式的编译:产生的指令序列不直接 计算它们的右部,将来需要这些值时再计算 于是,生成的指令序列构造x、y和的闭包,并将 它们的指针存放在栈中 y的等式无须构造闭包,因其右部不含自由变量 让z和x约束到同一个闭包13.2函数式语言的编译简介 13.2.1 几个受启发的例子 例2 letrec x == 1/y; y == 0; z == x in 1 + 2 – 由letrec或函数抽象引入的变量在FAM的栈上分 配单元 – x、y和z 的等式的编译：产生的指令序列不直接 计算它们的右部，将来需要这些值时再计算 – 于是，生成的指令序列构造x、y和z的闭包，并将 它们的指针存放在栈中 – y的等式无须构造闭包，因其右部不含自由变量 – 让z 和x 约束到同一个闭包