MARC状态：订购 文献类型：中文图书 浏览次数：15
- 题名/责任者:
- 函数式程序设计/邓玉欣编著
- 出版发行项:
- 北京:清华大学出版社,2023.06
- ISBN及定价:
- 978-7-302-62690-9/CNY39.00
- 载体形态项:
- 124页;26cm
- 个人责任者:
- 邓玉欣 编著
- 学科主题:
- 函数-程序设计-高等学校-教材
- 中图法分类号:
- TP311.1
- 一般附注:
- 高等学校计算机专业系列教材
- 提要文摘附注:
- 本书是一本介绍函数式程序设计理论的入门读物。在内容选取上，先通过λ一演算作为背景知识，然后介绍Coq和0Caml的基本用法和主要语言特征。本书的重点是介绍函数式程序设计的基本思想和方法，让读者了解、欣赏、进而喜欢函数式程序设计。全书共分4章：第1章介绍不带类型的λ-演算、简单类型的λ-演算和F系统，主要讨论语法和β一归约语义；第2章介绍Coq重点是从函数式程序设计的角度展开讨论，内容涉及自然数函数、列表、多态数据结构、依赖类型、高阶函数、柯里一霍华德关联以及余归纳类型：第3章介绍OCaml这门通用程序设计语言，除了基本的程序设计概念，还讨论函子和单子这样比较高级的语言特征；第4章提供了部分习题的参考：答案，以方便感兴趣的读者自行学习。
- 使用对象附注:
- 本书适合作为普通高等院校计算机科学和软件工程专业的本科生教学参考书，同时也可作为软件理论方向研究人员的入门读物
全部MARC细节信息>>