广东职业技术学院图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

函数式程序设计/邓玉欣编著

出版发行项:

北京:清华大学出版社,2023

ISBN及定价:

978-7-302-62690-9/CNY39.00

载体形态项:

114页:图，照片;26cm

个人责任者:

邓玉欣 编著

学科主题:

函数-程序设计-高等学校-教材

中图法分类号:

TP311.1

一般附注:

高等学校计算机专业系列教材

提要文摘附注:

本书共分4章：第1章介绍不带类型的λ-演算、简单类型的λ-演算和F系统，讨论语法和β-归约语义；第2章介绍Coq，从函数式程序设计的角度展开讨论，内容涉及列表、多态列表、依赖类型、高阶函数、柯里-霍华德关联及余归纳类型等；第3章介绍OCaml这门通用程序设计语言，除了基本的程序设计概念，还讨论函子和单子这样比较高级的语言特征；第4章提供了部分习题的参考答案。

豆瓣简介：