OCaml 大学课程:CS3110 康奈尔大学

https://cs3110.github.io/textbook/cover.html

OCaml 编程:正确+高效+美观

一本关于 OCaml 中的函数式编程和数据结构的教科书,重点是语义和软件工程。本书是康奈尔大学 CS 3110 数据结构和函数式编程的教科书。这本书的前一个标题是“OCaml 中的函数式编程”。

2021 年秋季版。有关这项工作的最新版本,请参阅最新的CS 3110 课程网站

视频。本书中嵌入了 200 多个 YouTube 视频。他们可以独立于阅读本书来观看。从这个YouTube 播放列表开始。

作者。本书基于 Michael R. Clarkson、Robert L. Constable、Nate Foster、Michael D. George、Dan Grossman、Daniel P. Huttenlocher、Dexter Kozen、Greg Morrisett、Andrew C. Myers、Radu Rugina 和 Ramin 教授的课程扎比。他们一起创造了超过 20 年的课程笔记和知识贡献。到目前为止,找出谁贡献了什么并不是一件容易的事。本书作为统一教科书形式的主要编译器和作者是 Michael R. Clarkson,截至本版,他是大约 40% 的单词和代码标记的作者。

版权所有 2021 迈克尔·克拉克森。根据Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License 发布

分类: 默认 标签: 发布于: 2022-06-27 10:49:05, 更新于: 2022-06-27 10:49:05