13.1函数式编程语言简介 例1 letrec x =2; f==入八.x+Jy； F==入gx.g2 in Ff1 一静态作用域，结果等于4 {x:2,f:入.x+y,F:gx.g2}是表达式2，Jyx+ 入gx.g2和Ff1的计算环境 表达式e和它的计算环境u形成二元组(e,w),叫做 闭包。环境u用来保证e中的自由变量会被正确地 解释，因此环境u和变元需要一起传递13.1 函数式编程语言简介 • 例1 letrec x == 2; f ==  y. x + y; F == g x. g2 in F f 1 – 静态作用域，结果等于4 – {x :2, f :  y. x + y, F : g x. g2}是表达式2,  y.x+y, g x. g2和F f 1的计算环境 – 表达式e和它的计算环境u形成二元组(e, u)，叫做 闭包。环境u用来保证e中的自由变量会被正确地 解释，因此环境u和变元e需要一起传递