13.1函数式编程语言简介 ·约定 e>blv (opun e)...(er e2)(Av.e) (letrec v1==e1;v2==e2;...Vnen in eo) 一函数应用有最高优先级并且左结合 一算术和逻辑算符有通常的优先级 入抽象选择最大可能的语法表达式作为入.e的体e, 即延伸到表达式的结尾或碰到第一个不能配对的 右括号为止 n元函数写成入y.yne的形式 把，…em实现为一次函数应用，而不是m次应用13.1 函数式编程语言简介 • 约定 e → b | v | (opun e) | … | (e1 e2 ) | (v.e) | (letrec v1== e1 ; v2== e2 ; . . . vn== en in e0 ) – 函数应用有最高优先级并且左结合 – 算术和逻辑算符有通常的优先级 – 抽象选择最大可能的语法表达式作为v. e的体e, 即e延伸到表达式的结尾或碰到第一个不能配对的 右括号为止 – n元函数写成v1 … vn .e的形式 – 把fe1 … em实现为一次函数应用，而不是m次应用