【函数式编程范式】浅析基于函数式的编程范式

时间：2017-01-03 19:00:02 作者：胡志英；

本文作者：胡志英；成功正常投稿发表论文到《数字技术与应用》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/)投稿信息
【版权所有人】：胡志英；