ImageVerifierCode 换一换
格式:PPT , 页数:48 ,大小:511KB ,
文档编号:5170021      下载积分:25 文币
快捷下载
登录下载
邮箱/手机:
温馨提示:
系统将以此处填写的邮箱或者手机号生成账号和密码,方便再次下载。 如填写123,账号和密码都是123。
支付方式: 支付宝    微信支付   
验证码:   换一换

优惠套餐
 

温馨提示:若手机下载失败,请复制以下地址【https://www.163wenku.com/d-5170021.html】到电脑浏览器->登陆(账号密码均为手机号或邮箱;不要扫码登陆)->重新下载(不再收费)。

已注册用户请登录:
账号:
密码:
验证码:   换一换
  忘记密码?
三方登录: 微信登录  
下载须知

1: 试题类文档的标题没说有答案,则无答案;主观题也可能无答案。PPT的音视频可能无法播放。 请谨慎下单,一旦售出,概不退换。
2: 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。
3: 本文为用户(晟晟文业)主动上传,所有收益归该用户。163文库仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对上载内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知163文库(点击联系客服),我们立即给予删除!。
4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
5. 本站仅提供交流平台,并不能对任何下载内容负责。
6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

版权提示 | 免责声明

1,本文(函数式语言的编译课件.ppt)为本站会员(晟晟文业)主动上传,163文库仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对上载内容本身不做任何修改或编辑。
2,用户下载本文档,所消耗的文币(积分)将全额增加到上传者的账号。
3, 若此文所含内容侵犯了您的版权或隐私,请立即通知163文库(发送邮件至3464097650@qq.com或直接QQ联系客服),我们立即给予删除!

函数式语言的编译课件.ppt

1、第十三章第十三章 函数式语言的编译函数式语言的编译本章内容本章内容 介绍一种简单的函数式编程语言介绍一种简单的函数式编程语言SFP 介绍一种抽象机介绍一种抽象机FAM,它的机器语言是,它的机器语言是SFP语言的目标语言语言的目标语言 介绍介绍SFP各种语言构造到各种语言构造到FAM的编译的编译13.1 函数式编程语言简介函数式编程语言简介13.1.1 语言构造语言构造 函数是构建程序的基本成分函数是构建程序的基本成分 还提供一些机制用于构造更为复杂的函数还提供一些机制用于构造更为复杂的函数 纯函数式语言禁止使用赋值语句,从而不会产生纯函数式语言禁止使用赋值语句,从而不会产生副作用,其优点是具有

2、引用透明性,有助于程序副作用,其优点是具有引用透明性,有助于程序的等式变换和推理的等式变换和推理 程序设计的任务就是定义函数程序设计的任务就是定义函数 计算机按照所定义函数的相应表达式,根据计算计算机按照所定义函数的相应表达式,根据计算规则逐步计算,最后得到所需的结果规则逐步计算,最后得到所需的结果 13.1 函数式编程语言简介函数式编程语言简介 语法论域和语法产生式语法论域和语法产生式 B:基值集,如布尔值、整数、:基值集,如布尔值、整数、.,用,用b示例示例 Opbin:二元算符集,如:二元算符集,如+,=,and,.,用用opbin示例示例 Opun:一元算符集,如一元算符集,如,not

3、,.,用,用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)/联立递归定义联立递归定义13.1 函数式编程语言简介函数式编程语言简介 约定约定e b|v|(opun e)|(e1 e2)|(v.e)|(letrec v1=e1;v2=e2;.vn=en in e0)函数

4、应用有最高优先级并且左结合函数应用有最高优先级并且左结合 算术和逻辑算符有通常的优先级算术和逻辑算符有通常的优先级 抽象选择最大可能的语法表达式作为抽象选择最大可能的语法表达式作为 v.e的体的体e,即即e延伸到表达式的结尾或碰到第一个不能配对的延伸到表达式的结尾或碰到第一个不能配对的右括号为止右括号为止 n元函数写成元函数写成 v1 vn.e的形式的形式 把把fe1 em实现为一次函数应用,而不是实现为一次函数应用,而不是m次应用次应用 13.1 函数式编程语言简介函数式编程语言简介13.1.2 参数传递机制参数传递机制对于表达式对于表达式e1e2,用按需调用的方式传递参数,用按需调用的方式

5、传递参数 值调用值调用 换名调用换名调用 按需调用按需调用又称惰性计算。从又称惰性计算。从e1的计算开始,当第一次需要的计算开始,当第一次需要e2时,计算它的值,也就计算这一次。其它访问时,计算它的值,也就计算这一次。其它访问用第一次访问时计算的值。这种方式结合了前两用第一次访问时计算的值。这种方式结合了前两种方式的优点种方式的优点 13.1 函数式编程语言简介函数式编程语言简介 例例1letrec x=2;f=y.x+y;F=g x.g2in F f 1 静态作用域,结果等于静态作用域,结果等于4 x:2,f:y.x+y,F:g x.g2是表达式是表达式2,y.x+y,g x.g2和和F f

6、 1的计算环境的计算环境 表达式表达式e和它的计算环境和它的计算环境u形成二元组形成二元组(e,u),叫做,叫做闭包。环境闭包。环境u用来保证用来保证e中的自由变量会被正确地中的自由变量会被正确地解释,因此环境解释,因此环境u和变元和变元e需要一起传递需要一起传递13.1 函数式编程语言简介函数式编程语言简介 例例2letrec comp=f.g.x.f(gx);F=x.;G=z.;h=comp F Gin h(.)+F(.)+G(.)函数可以作为函数的变元函数可以作为函数的变元 函数也可以作为函数的结果函数也可以作为函数的结果 n元函数可作为高阶函数使用元函数可作为高阶函数使用,当作用于当作

7、用于m(m m)将栈中已有的将栈中已有的m个变元打包成向量个变元打包成向量 重新做成重新做成FUNVAL,和原先相比,变元多了,和原先相比,变元多了 本次函数应用到此为止,返回本次函数应用到此为止,返回PC=PColdGP=GPoldFP=FPoldSP执行后执行后FUNVAL:PC,GPVECTOR:am,a1amGPoldFPold执行前执行前FPPCold.a1a2SP13.4 指令集和编译指令集和编译 return n指令指令(SP=FP+1+n,没有多余参数,没有多余参数)函数值拷贝到适当的地方,并释放当前栈帧函数值拷贝到适当的地方,并释放当前栈帧anGPoldFPold执行前执行前

8、FPPCold.xa1SPSP执行后执行后x13.4 指令集和编译指令集和编译 return指令指令(有多余参数有多余参数)函数应用消费适当个数的变元,其结果是一个函数函数应用消费适当个数的变元,其结果是一个函数 再应用到剩余变元,它们的指针仍在栈上再应用到剩余变元,它们的指针仍在栈上 (x.(yz.x+y+z)3)4 5 的执行会出现这种情况的执行会出现这种情况 am执行前执行前FP.a1SPFUNVAL:cf,fap,fgpVECTOR:xk,x1PC=cfGP=fgpan+1执行后执行后FP.x1amSPxk.13.4 指令集和编译指令集和编译13.4.5 构造和计算闭包构造和计算闭包C

9、_code e sl =/同编译函数类似,无变元部分同编译函数类似,无变元部分pushfree fr sl;/将全局变量的值压栈将全局变量的值压栈mkver g;/把它们做成一个向量把它们做成一个向量ldl l1;/闭包代码的地址闭包代码的地址mkclos;ujmp l2;l1:V_code e vi (GLOB,i)0;(i=1,n)update;l2:13.4 指令集和编译指令集和编译update指令的效果指令的效果 用闭包的计算用闭包的计算结果去覆盖该闭包对象结果去覆盖该闭包对象 以后以后eval指令发现已经不是闭包,则不再计算指令发现已经不是闭包,则不再计算GPoldFPold执行前执

10、行前FPPColdSPyxPC=PColdFP=FPoldGP=GPoldSP执行后执行后yy13.4 指令集和编译指令集和编译13.4.6 letrec表达式和局部变量表达式和局部变量V_code(letrec v1=e1;.;vn=en in e0)sl=repeat n alloc;/在堆上建立在堆上建立n个空对象个空对象,将指针压栈将指针压栈 C_code e1 sl;/为为ej 建立闭包建立闭包rewrite n;/覆盖对应的空闭包对象覆盖对应的空闭包对象C_code e2 sl;rewrite n 1;.C_code en sl;rewrite 1;V_code e0 sl;/生成

11、计算生成计算e0的指令序列的指令序列slide n/放弃放弃e1,.,en在栈顶指针,剩下在栈顶指针,剩下e0指针指针13.4 指令集和编译指令集和编译13.4.6 letrec表达式和局部变量表达式和局部变量V_code(letrec v1=e1;.;vn=en in e0)sl=repeat n alloc;/在堆上建立在堆上建立n个空对象个空对象,将指针压栈将指针压栈 C_code e1 sl;/为为ej 建立闭包建立闭包rewrite n;/覆盖对应的空闭包对象覆盖对应的空闭包对象.=vi(LOC,sl+i 1)(i=1,n)依据全局变量和依据全局变量和v1,.,vn,为,为e0,e1,.,en建立同样建立同样的环境的环境 sl=sl+n n次次alloc使使SP的值增加的值增加n 习习 题题

侵权处理QQ:3464097650--上传资料QQ:3464097650

【声明】本站为“文档C2C交易模式”,即用户上传的文档直接卖给(下载)用户,本站只是网络空间服务平台,本站所有原创文档下载所得归上传人所有,如您发现上传作品侵犯了您的版权,请立刻联系我们并提供证据,我们将在3个工作日内予以改正。


163文库-Www.163Wenku.Com |网站地图|