程序语言设计之多态性.pdfVIP

Theory of Programming Languages 程序设计语言理论 张昱 Department of Computer Science and Technology University of Science and Technology of China December, 2007 Yu Zhang, USTC 第八章多态(Polymorphism) 8.1 多态[PFPL, 23] 对参数化多态函数(generic function) 形式化，函数带类 型参数. 8.2 数据抽象[PFPL, 24] 用存在类型形式化数据抽象(接口)，如元素类型为τ 的队列 可以有多种实现(队列的表示及实现)． 8.3 构造子和种类[PFPL, 25] 对generic class(即带类型参数的类型／类)进行形式化， 如支持任意元素类型t 的列表等. Yu Zhang, USTC 8.1 多态 在L{nat →}和PCF及其扩展语言中 每一表达式最多有一个类型 函数有唯一确定的定义域类型和值域类型 每一类型都有一个不同的恒等函数 idτ λ (x :τ .x) 针对每一个类型三元组，就有一个不同的复合函数 这些函数功能一样，只是类型不太一样! 引入多态来避免为不同的类型重复定义功能相同的函数：以类型为 参数，即函数是类属的(泛型的generic)、参数化的(parametric) ——参数化多态 (parametric polymorphism)(本章讨论的主题) 其他形式的多态 Ad-hoc多态：允许一个多态值在遇到不同的类型时能产生不同的操 作，如函数重载(overloading) Yu Zhang, USTCYu Zhang, USTC Theory of Programming Languages - Polymorphism 3 8.1 多态 8.1 多态λ演算L{→∀} (又称系统F) 8.2 多态的可定义性 多态λ演算可以定义原始递归函数 8.3 多态的受限形式 多态λ演算是不可预言的，这里给出可预言的子集,称为前束片段 Yu Zhang, USTCYu Zhang, USTC Theory of Programming Languages - Polymorphism 4 8.1.1 多态λ演算-语法 多态λ演算L{→∀}是具有多态定型的最小的函数式语言！ 语法 Type τ ::= t | arr(τ , τ ) | all( t.τ ) 1 2 Expr e ::= x | lam[τ ](x .e) | ap(e , e ) | Lam(t.e) | App[τ ](e) 1 2 t ：元变元，取值范围为一组类型名(类型变元) x ：元变元，取值范围为一组表达式名(表达式变元) all( t.τ )：全称类型(universal type),是以t为参数、以τ为结果的 函数 Lam(t.e)：类型抽象，定义