MARC状态:审校 文献类型:中文图书 浏览次数:13
- 题名/责任者:
- 函数式程序设计/邓玉欣编著
- 出版发行项:
- 北京:清华大学出版社,2023
- ISBN及定价:
- 978-7-302-62690-9/CNY39.00
- 载体形态项:
- 114页:图,照片;26cm
- 个人责任者:
- 邓玉欣 编著
- 学科主题:
- 函数-程序设计-高等学校-教材
- 中图法分类号:
- TP311.1
- 一般附注:
- 高等学校计算机专业系列教材
- 提要文摘附注:
- 本书共分4章:第1章介绍不带类型的λ-演算、简单类型的λ-演算和F系统,讨论语法和β-归约语义;第2章介绍Coq,从函数式程序设计的角度展开讨论,内容涉及列表、多态列表、依赖类型、高阶函数、柯里-霍华德关联及余归纳类型等;第3章介绍OCaml这门通用程序设计语言,除了基本的程序设计概念,还讨论函子和单子这样比较高级的语言特征;第4章提供了部分习题的参考答案。
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
| TP311.1/266 | 00805722 | 书库
(图书定位请点击这里) |
在编 | 书库 | |
| TP311.1/266 | 00805723 | 书库
(图书定位请点击这里) |
在编 | 书库 |
显示全部馆藏信息




书库