构造过程抽象.pdfVIP

1. 构造过程抽象(3) 要点： 高阶过程：以过程为参数和/或返回值的过程 lambda 表达式 let 表达式 用过程作为解决问题的通用方法 求函数的0 点 求函数的不动点 返回过程值 过程是语言里的一等公民(first-class object) 程序设计技术和方法 裘宗燕，2014-3-6 - (1) 高阶过程 过程是抽象，一个过程描述了一种对数据的复合操作 如求立方过程： (define (cube x) (* x x x)) 换个方式，也可以总直接写组合式： (* 3 3 3) (* x x x) (* y y y) 不定义过程，总基于系统操作描述，不能提高描述的层次 虽然也能计算立方，但程序里没建立立方的概念 将常用公共计算模式定义为过程并命名，就是在程序里建立概念 过程抽象起着建立新概念的作用。基于定义好的过程编程，就是基于 更高级的新概念思考问题，非常重要 程序设计技术和方法 裘宗燕，2014-3-6 - (2) 高阶过程 只能以数值作为参数也限制了建立抽象的能力。例如 在一些计算模式里，在某个（某些）地方可以使用不同的过程 要建立这类计算模式的抽象，就需要以过程作为参数或返回值 高阶过程：以过程作为参数或返回值，操作过程的过程 高阶过程是非常有用的抽象工具 语言允许定义高阶过程，就能更好地支持描述复杂的程序，因为它 们为定义抽象提供了更多的可能性 常规语言也提供了一定的定义高阶过程的能力 一些语言里函数提供了过程参数 C/C++ 函数可以指向函数的指针参数，用于传操作性的实参 但这些功能的能力都比较有限 Java、C# 等引进lambda 表达式，是为了在这方面有所前进 程序设计技术和方法 裘宗燕，2014-3-6 - (3) 高阶过程 下面要说明高阶过程抽象的价值（后面章节有很多例子） 高阶过程有什么用，应该怎样定义和使用 lambda 表达式的构造和使用 也帮助理解Java 等语言引进相关功能的背景 需要高阶过程的一类情况 一些计算具有相似的模式，只是其中涉及的几个操作不同 要利用这种公共模式，就需要把这几个操作参数化 具有参数化操作的过程，就是高阶过程（一类情况） 以数值为参数的过程（作为比较） 一些计算具有类似的情况，只是其中牵涉的几个数值不同 要利用这种公共性，就需要把几个被操作的数值参数化 这样就定义出了以数值为参数的过程 程序设计技术和方法 裘宗燕，2014-3-6 - (4) 以过程为参数 考虑几个过程： (define (sum-integers a b) (if ( a b) 0 (+ a (sum-integers (+ a 1) b)))) (define (sum-cubes a b) (if ( a b) 0 (+ (cube a) (sum-cubes (+ a 1) b)))) (define (pi-sum a b) (if ( a b) 0 (+ (/ 1.0 (* a (+ a 2))) (pi-sum (+ a 4) b)))) 收敛到π/8 虽然细节有许多差异，但它们有共同的模式：从某参数a 到参数b，按 一定步长，对依赖于a 的一些项求和 程序设计技术和方法 裘宗燕，2014-3-6 - (5) 以过程作为参数 把其中