函数式语言corefun的设计与实现.pptVIP

函数式语言Corefun的设计与实现 内容概要 函数式语言 图归约技术 整体设计 Corelan语言设计 抽象机改进与优化 现在的实现与未来的工作 函数式语言 函数式程序设计范式 “I’ll tell you what, you work out how” 描述的不是解决问题的方法而是问题本身 函数式程序设计语言 良好的数学基础（λ演算） 程序简洁 易于推理和正确性证明 高阶函数、惰性计算 例子（Haskell） 简洁、抽象，面向问题 qsort [] = [] qsort (x:xs) = qsort [y | y - xs, yx ] ++ [x] ++ qsort [y | y - xs, y=x] 高阶函数 map f [] = [] map f (x:xs) = f x : map f xs 惰性计算 natural = [1..] 主要障碍 学院派 程序员不适应 在传统体系结构上的效率不高 图归约技术 λ演算 δ归约： β归约 ： 归约技术 串归约 环境归约 图归约 λ提升（lambda lifting） 图归约技术 抽象机技术 SECD G-Machine Spineless G-Machine Spineless Tagless G-Machine 整体设计 主要研究编译器后端：从中间语言开始。 定义中间语言corefun的语法：程序、表达式； 完成一个parser，它把corefun程序转换成corefun的内部表示； 完成一个pretty-printer，它把corefun的内部表示打印成程序； 用抽象机技术为corefun实现一个编译器； 完成最基本的标准函数库（standard prelude），和运行时支持。 整体设计 Corelan语言设计 定位于编译器中间语言。 包含类型信息，并假设类型检查已经完成，已经保证类型正确。 一种函数式语言，支持high order function。 惰性的语言，即采用lazy evaluation。 直接支持反射语义，而不是用λ演算来表示反射。 语法 注释“//” 入口“main” 一个例子 反射 元编程（meta-programming） 克服传统程序设的局限性，例如语言的表达能力，程序的灵活性及程序执行的效率 程序反射（procedural reflection） 程序语言一级支持元编程 强调程序的自我观察，思考自身的状态，并能自我调节的能力 反射语法的设计 Quotation： + 2 3表示+ 2 3这个表达式的数据结构，与5不同 Anti-quotation： + ~+ 2 3 ~5 的结果是+ (+ 2 3) 5 Lift： lift (+ 2 3)的结果是5 Run： run + 2 3的结果是5 其他语言特点 变量局部作用域 let中定义的变量在对应的in中使用 letrec中定义的变量在整个letrec中使用 静态绑定 a = 100 f x = + a x let a = 10 in f 50 = 150 抽象机改进与优化 STG-Machine 过去的抽象机代码由抽象机指令的序列组成，每条指令通过状态转移系统被赋予精确的操作语义。 STG Machine抽象机语言本身是一种很简单的函数式语言，它有通常的指称语义，并且每个语言成分有一个直接的操作语义。 缺点：跨度过大，切断了语法成分之间的联系，不容易发现更多的改进空间。 抽象机改进与优化 改造原来的Spineless G-Machine的操作语义通过增加闭包，表达式全懒惰构造使其具有和STG-Machine类似的优点。 得到一个比STG-Machine容易理解和改进的抽象机模型。 在此基础上尝试了：扩展MKAP指令，G-code窥孔优化等提高抽象机效率的方法 。 增加闭包 λ提升不高效的编译方法。 STG中采用一种很紧凑的方式表示函数：静态的代码（被所有实例共享）和自由变量合在一起表示函数，通常这样的结构叫做闭包（closure） 表达式全懒惰构造 G-Machine和Spineless G-Machine的缺点：不会被计算的表达式却会被构造 表达式全懒惰构造 过去的办法： f x y = g E1 E2 变换成 f x y = let tup = (x,y) c1 (x,y) = E1 c2 (x,y) = E2 in g (c1 tup) (c2 tup) 表达式全懒惰构造 过去的办法对let语法成分不太适用，因为参数不能共享。 引入闭包后可以把所有的变量对应到静态函数，表达式中用到的变量不是通过参数传递，而是放在闭包的结构中。 不通过参数传递节省了调用