Featured image of post 《Category Theory for Programmers》阅读笔记

《Category Theory for Programmers》阅读笔记

《写给程序员的范畴论》阅读笔记

范畴论是FP的理论基础之一。FP语言,例如Haskell中的许多概念,比如函子(functor)、单子(monad)均来源于范畴论。可以说,只有了解一些范畴论后才能真正地说进入了 $ \lambda $ 世界的大门。

《Category Theory for Programmers》 是Bartosz Milewski著作的一本适合程序员阅读的范畴论书籍。作者将这本书在Github开源,读者可以直接下载阅读。

本文记录了我这阅读这本书的过程中学到的一些知识和感悟,这也是学习Functional Programming的一个小小的开端。由于我本是理论水平有限,加之表达能力不足,在一些问题的表述和看法上难免会出现一些偏颇或谬误,也恳请读到这篇文章的朋友能够理解并不吝斧正。