关于我们
书单推荐
新书推荐
|
函数式程序设计 读者对象:本书适合作为普通高等院校计算机科学和软件工程专业的本科生教学参考书, 同时也可作为软件理论方向研究人员的入门读物
本书共分4章: 第1章介绍不带类型的λ-演算、简单类型的λ-演算和F系统, 主要讨论语法和β-归约语义; 第2章介绍Coq,重点是从函数式程序设计的角度展开讨论, 内容涉及自然数函数、列表、多态数据结构、依赖类型、高阶函数、柯里-霍华德关联以及余归纳类型; 第3章介绍OCaml这门通用程序设计语言, 除了基本的程序设计概念, 还讨论函子和单子这样比较高级的语言特征; 第4章提供了部分习题的参考答案, 以方便感兴趣的读者自行学习。
你还可能感兴趣
我要评论
|