×

函数式编程语言、编程和程序验证

消耗积分:0 | 格式:rar | 大小:0.65 MB | 2018-04-03

分享资料个

　　函数式编程是一种编程范型，它把计算看作是对数学函数的求值，避免了状态和易变数据结构，函数是构造程序的基本成分，语言还提供构造更为复杂的函数的机制，语言禁止使用赋值语句，函数式编程的根基是演算，演算是1930年代在调查函数定义、函数应用和递归时研发的一个形式系统，是等价于图灵机的一种抽象的计算模型，许多函数式编程语言都可看成是在演算基础上精心制作出的结果

下载并关注上传者 开通VIP，低至0.08元下载/次

声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉

评论(0)
发评论

下载排行榜

全部0条评论

快来发表一下你的评论吧 !