0

我不想从开发人员(不是数学学生)的角度介绍范畴论的基本概念,但我看到的每一个资源都使用 Haskel、Scala、F# 或其他我不使用的高度集中的语言.

我们其他人有资源吗?

4

2 回答 2

2

麻省理工学院有一些关于科学家类别理论的在线课程材料。您还可以下载一本教科书。

于 2013-12-06T10:59:59.027 回答
1

Pierce 的计算机科学家基本类别理论符合您的描述。它与任何特定的编程语言无关。

学习范畴论时最好有例子。如果你没有来自数学的例子,也没有来自特定编程语言的例子,那么可能很难激发这个主题。

于 2014-06-16T22:05:46.317 回答