13.1函数式编程语言简介 语法论域和语法产生式 -B:基值集，如布尔值、整数、·，用b示例 -Opim:二元算符集，如+，三，and,.·,用opm示例 Opm:一元算符集，如-，not,.,用OPunZ示例 -V: 变量集，用v示例 -E:表达式集，用e示例 e->b|v|(opun e)(e opbin e2)(if er then e2 else e3) (er e2) ∥函数应用 (入.e) ∥函数抽象，如入x.x+1,即f(x)=x+1 (letrec v1==e1;v2==e2;...Vn==en in eo) /联立递归定义13.1 函数式编程语言简介 • 语法论域和语法产生式 – B：基值集，如布尔值、整数、. . .，用b示例 – Opbin：二元算符集，如+, =, and, . . . , 用opbin示例 – Opun: 一元算符集，如−, not, . . .，用opun示例 – V ：变量集，用v 示例 – E ：表达式集，用e 示例 e → b | v | (opun e) | (e1 opbin e2 ) | (if e1 then e2 else e3 ) | (e1 e2 ) // 函数应用 | (v.e) // 函数抽象, 如x.x+1, 即f (x) = x+1 | (letrec v1== e1 ; v2== e2 ; . . . vn== en in e0 ) // 联立递归定义