函数式编程入门:理论与实践
"函数式程序设计入门" 这是一本关于函数式编程的入门书籍,适合对这一编程范式感兴趣的初学者。书中的内容理论性较强,虽然阅读可能有些困难,但作者Mik Mike Gordon通过深入浅出的方式试图教授读者函数式编程的理论与实践。课程主要在 Lent Term 的周五上午进行,地点在 Heycock Lecture Room,持续十二周,包括周一、周三和周五的讲座。 函数式编程是一种编程范式,强调通过数学函数来构建软件,减少状态变化和副作用。本书的重点是解释函数式编程的理论基础——λ演算,并使用Standard ML编程语言作为实践工具。Standard ML是一种静态类型的、严格求值的函数式编程语言,它在函数式编程领域有着重要的地位。 λ演算是函数式编程的理论基石,它探讨了如何用无名函数(λ表达式)来表示和操作计算。在书中,作者对λ演算进行了精炼的介绍,尽管内容压缩,但仍然包含了理解函数式编程的关键概念。 课程内容不仅限于理论,还将通过使用Standard ML来展示函数式编程的实际应用。在函数式编程领域,通常有两种主要的实现方式:懒惰求值(如Haskell)和严格求值(如ML)。本书更侧重于后者,即严格求值的函数式编程,但这并不意味着λ演算对懒惰求值的语言不重要。实际上,λ演算的概念对于理解这两种方法都是基础性的。 此外,本书还引用了作者的另一本书《Programming Language Theory and its Implementation》,该书更深入地探讨了编程语言理论及其实现,可能为对这个主题有更深入兴趣的读者提供了额外的参考资料。 通过学习这本书,读者将能够理解函数式编程的基本原理,包括λ演算、类型系统、高阶函数、模式匹配等概念,并能运用这些知识在Standard ML中编写程序。虽然开始可能会感到挑战,但掌握函数式编程可以提升编程思维,有助于解决复杂问题并提高代码的可读性和可维护性。
![](https://csdnimg.cn/release/download_crawler_static/10193702/bg10.jpg)
![](https://csdnimg.cn/release/download_crawler_static/10193702/bg11.jpg)
![](https://csdnimg.cn/release/download_crawler_static/10193702/bg12.jpg)
![](https://csdnimg.cn/release/download_crawler_static/10193702/bg13.jpg)
![](https://csdnimg.cn/release/download_crawler_static/10193702/bg14.jpg)
剩余103页未读,继续阅读
![application/x-rar](https://img-home.csdnimg.cn/images/20210720083606.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://profile-avatar.csdnimg.cn/f778db4d9dec4ee49856d86d2fc13b9a_songlihua_mail.jpg!1)
![](https://csdnimg.cn/release/wenkucmsfe/public/img/user-vip.1c89f3c5.png)
- 粉丝: 0
- 资源: 1
我的内容管理 展开
我的资源 快来上传第一个资源
我的收益
登录查看自己的收益我的积分 登录查看自己的积分
我的C币 登录后查看C币余额
我的收藏
我的下载
下载帮助
![](https://csdnimg.cn/release/wenkucmsfe/public/img/voice.245cc511.png)
最新资源
- 计算机人脸表情动画技术发展综述
- 关系数据库的关键字搜索技术综述:模型、架构与未来趋势
- 迭代自适应逆滤波在语音情感识别中的应用
- 概念知识树在旅游领域智能分析中的应用
- 构建is-a层次与OWL本体集成:理论与算法
- 基于语义元的相似度计算方法研究:改进与有效性验证
- 网格梯度多密度聚类算法:去噪与高效聚类
- 网格服务工作流动态调度算法PGSWA研究
- 突发事件连锁反应网络模型与应急预警分析
- BA网络上的病毒营销与网站推广仿真研究
- 离散HSMM故障预测模型:有效提升系统状态预测
- 煤矿安全评价:信息融合与可拓理论的应用
- 多维度Petri网工作流模型MD_WFN:统一建模与应用研究
- 面向过程追踪的知识安全描述方法
- 基于收益的软件过程资源调度优化策略
- 多核环境下基于数据流Java的Web服务器优化实现提升性能
![](https://img-home.csdnimg.cn/images/20220527035711.png)
![](https://img-home.csdnimg.cn/images/20220527035111.png)
![](https://csdnimg.cn/release/wenkucmsfe/public/img/green-success.6a4acb44.png)