本文作者:胡志英;成功正常投稿发表论文到《数字技术与应用》2015年03期,引用请注明来源400期刊网!
【摘要】:20世纪30年代,阿隆佐·邱奇和艾伦·图灵、约翰·冯·诺伊曼设计了一个名为lambda演算的形式系统,这个系统实质上是为一个超级机器设计的编程语言。函数式编程因其生成错误少且产能高而受到越来越多的关注,本文详尽阐述了函数式编程(FunctionalProgramming,FP)范式的编程思想,通过类比,比较了FP和指令式编程的异同。指出了FP相对于指令式编程的优点。
【论文正文预览】:在这种语言里面,函数的参数是函数,返回值也是函数。函数式编程是阿隆佐的思想在现实世界中的实现。就像面向对象的编程思想一样,函数式编程只是一系列想法。这些想法包括函数是第一等公民、不修改状态、只用表达式不用语句和引用透明等等。这四个鲜明的特性形成了函数式编程
【文章分类号】:TP311.1
【稿件关键词】:函数式引用透明并发执行惰性求值
【参考文献】:
- 杨路;不等式机器证明的降维算法与通用程序[J];高技术通讯;1998年07期
- 叶俊;谭庆平;李暾;;面向特征编程范式的形式化验证技术研究综述[J];计算机工程与科学;2010年09期
- 王明文,孙永强;对象式Lam bda演算的自作用部分计值[J];软件学报;2001年08期
- 罗钊,赖立,文家金;对称函数的全局优化的降维算法[J];成都大学学报(自然科学版);2002年01期
- 张日新,陈宴祥,文家金;含T平均的不等式及其应用[J];成都大学学报(自然科学版);2002年04期
- 王挽澜;姚勇;;建立不等式的判别式法、极值法和机械化法之比较[J];成都大学学报(自然科学版);2008年03期
- 杨骏;李永树;蔡国林;;基于地图积分与空间嵌套关系的单库多比例尺半结构空间数据库模型研究[J];测绘科学;2009年02期
- 田长生;几何定理的机器证明——每个中国数学教师都应懂得的方法[J];广东技术师范学院学报;2003年06期
- 杨路;计算机与智力:推理过程的机械化[J];广州大学学报(综合版);2001年02期
- 俞健;从中国古代数学思想到数学机械化现状[J];广州广播电视大学学报;2005年01期
- 吴善和;关于加强Gerretsen不等式的一个结果及其应用[J];华侨大学学报(自然科学版);2003年03期
- 解烈军;一类不等式的判定算法[J];淮阴师范学院学报(自然科学版);2005年02期
- 关强;王龙;夏壁灿;杨路;郁文生;曾振柄;;线性系统同时镇定中广义香槟问题的解[J];中国科学(E辑:信息科学);2007年06期
- 何冠男;王龙;夏壁灿;郁文生;;比利时巧克力系统的低阶控制器设计[A];第二十六届中国控制会议论文集[C];2007年
- 李永彬;非线性代数方程组的扩WE相对单纯分解和真正常分解算法[D];四川大学;2001年
- 向晓林;非线性代数方程组与几何约束问题求解[D];四川大学;2003年
- 敖丽敏;交互式过程性知识表示与获取及其实现的研究[D];中国农业大学;2005年
- 江建国;iGeo:智能几何软件的定理证明器[D];中国科学院研究生院(成都计算机应用研究所);2006年
- 毛宏燕;基于部分计值的服务性能优化研究[D];上海交通大学;2006年
- 杨骏;“数字城市”中的空间本体数据库研究[D];西南交通大学;2007年
- 沈亚军;L_p空间中的凸体相关的不等式研究[D];上海大学;2008年
- 谭畅;求解多项式系统的有理表示[D];吉林大学;2009年
- 尤枫;几何定理机器证明系统的开发与研究[D];北京化工大学;2003年
- 俞健;不等式软件与不等式教学[D];广州大学;2006年
- 程应娥;Isabelle中自动化证明策略的设计与实现[D];兰州大学;2007年
- 王冬冬;基于人工鱼群算法求解代数方程(组)方法研究[D];广西民族大学;2007年
- 宁桂英;差分进化算法及其应用研究[D];广西民族大学;2008年
- 朱金银;虚拟机可定制生成模型的设计与实现[D];华中科技大学;2007年
- 黄华娟;改进型人工鱼群算法及其在数值方法中的应用[D];广西民族大学;2009年
- 叶俊;谭庆平;李暾;徐建军;;基于层次状态机的方面化特征模块的增量式验证[J];计算机学报;2009年09期
- 张景中,杨路,高小山,周咸青;几何定理可读证明的自动生成[J];计算机学报;1995年05期
- 蔡学镛;;思考函数式编程[J];程序员;2008年07期
- 俞黎敏;;函数式编程思想[J];程序员;2010年09期
- 裘宗燕;;关于“思考函数式编程”几点注记[J];程序员;2008年08期
- 陈子醉;;F#前瞻[J];程序员;2008年07期
- 李进;;.NET语言和模式的简析[J];电脑知识与技术;2010年26期
- 官健;黄菲;;函数式编程语言——Erlang[J];软件导刊;2011年07期
- 苏锦钿;余珊珊;;广义共迭代及其计算律[J];华南理工大学学报(自然科学版);2012年09期
- ;[J];;年期
- ;[J];;年期
- ;[J];;年期
- 清水 编译;Ruby面向Java世界[N];计算机世界;2006年
【稿件标题】:【函数式编程范式】浅析基于函数式的编程范式
【作者单位】:湘潭技师学院;
【发表期刊期数】:《
数字技术与应用》2015年03期
【期刊简介】:《数字技术与应用》是一本介绍当今数字技术,传播计算机及网络科学知识的月刊。关注实际应用,紧跟世界数字技术及计算机发展潮流,以帮读者解决应用中的问题为立足点,以报道最新科技发展为杂志的特色,力求实用性、先进性、趣味性相结合,成为广大读者了解数......更多
数字技术与应用杂志社(
http://www.400qikan.com/qk/1083/)投稿信息
【版权所有人】:胡志英;
更多
雕刻艺术论文论文详细信息:
【函数式编程范式】浅析基于函数式的编程范式 论文代写
http://m.400qikan.com/lw-55751 论文代发
相关专题:编程范式 多范式编程语言 fp编程范式 编程范式与oop思想 编程范式有哪些 多范式的编程语言 编程范式论文 编程范式 pdf 多范式编程 函数式编程范式 九江学院学报 小学教师发表文章