131函数式编程语言简介 约定 e→bν(opme)…|(e1e2)|(xe) I (letrec v==e1; v2==e2;..Vn==en in eo) 函数应用有最高优先级并且左结合 算术和逻辑算符有通常的优先级 入抽象选择最大可能的语法表达式作为e的体e, 即延伸到表达式的结尾或碰到第一个不能配对的 右括号为止 n元函数写成v1…,vne的形式 把1…,tm实现为一次函数应用,而不是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次应用