资料下载
×
函数式编程语言、编程和程序验证
消耗积分:0 |
格式:rar |
大小:0.65 MB |
2018-04-03
分享资料个
函数式编程是一种编程范型，它把计算看作是对数学函数的求值，避免了状态和易变数据结构，函数是构造程序的基本成分，语言还提供构造更为复杂的函数的机制，语言禁止使用赋值语句，函数式编程的根基是演算，演算是1930年代在调查函数定义、函数应用和递归时研发的一个形式系统，是等价于图灵机的一种抽象的计算模型，许多函数式编程语言都可看成是在演算基础上精心制作出的结果
声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉
评论(0)
发评论
- 相关下载
- 相关文章
