机读格式显示(MARC)

• 000 01374nam0 2200253 450

• 001 0000609468

• 005 20230801111116.0

• 010 __ |a 978-7-302-62690-9 |d CNY39.00

• 092 __ |a CN |b 人天1088-2856

• 100 __ |a 20230801d2023 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a y z 000yy

• 106 __ |a r

• 200 1_ |a 函数式程序设计 |b 专著 |f 邓玉欣编著

• 210 __ |a 北京 |c 清华大学出版社 |d 2023.06

• 215 __ |a 124页 |d 26cm

• 300 __ |a 高等学校计算机专业系列教材

• 330 __ |a 本书是一本介绍函数式程序设计理论的入门读物。在内容选取上，先通过λ一演算作为背景知识，然后介绍Coq和0Caml的基本用法和主要语言特征。本书的重点是介绍函数式程序设计的基本思想和方法，让读者了解、欣赏、进而喜欢函数式程序设计。全书共分4章：第1章介绍不带类型的λ-演算、简单类型的λ-演算和F系统，主要讨论语法和β一归约语义；第2章介绍Coq重点是从函数式程序设计的角度展开讨论，内容涉及自然数函数、列表、多态数据结构、依赖类型、高阶函数、柯里一霍华德关联以及余归纳类型：第3章介绍OCaml这门通用程序设计语言，除了基本的程序设计概念，还讨论函子和单子这样比较高级的语言特征；第4章提供了部分习题的参考：答案，以方便感兴趣的读者自行学习。

• 333 __ |a 本书适合作为普通高等院校计算机科学和软件工程专业的本科生教学参考书，同时也可作为软件理论方向研究人员的入门读物

• 606 0_ |a 函数 |x 程序设计 |x 高等学校 |j 教材

• 690 __ |a TP311.1 |v 5

• 701 _0 |a 邓玉欣 |4 编著

• 801 _0 |a CN |b 人天书店 |c 20230809