函数值拷贝到适当的地方.PPTVIP

中国科大 第十三章 函数式语言的编译 本章内容 介绍一种简单的函数式编程语言SFP 介绍一种抽象机FAM，它的机器语言是SFP语言的目标语言 介绍SFP各种语言构造到FAM的编译 13.1 函数式编程语言简介 13.1.1 语言构造 函数是构建程序的基本成分 还提供一些机制用于构造更为复杂的函数 纯函数式语言禁止使用赋值语句，从而不会产生副作用，其优点是具有引用透明性，有助于程序的等式变换和推理 程序设计的任务就是定义函数 计算机按照所定义函数的相应表达式，根据计算规则逐步计算，最后得到所需的结果 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)