131函数式编程语言简介 例1 letrecx== 2 ∫=λy.x+y F== Ng x g2 in Ff1 静态作用域,结果等于4 {x:2,f:yx+y,F:Agx.g2}是表达式2,px+y, λgx.g2和Ff1的计算环境 表达式e和它的计算环境u形成二元组(e,u),叫做 闭包。环境u用来保证e中的自由变量会被正确地 解释,因此环境u和变元e需要一起传递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需要一起传递