Study note

Category Theory for Programmers

View original Back to list

Properties

Type: Books
Status: 想读
Domain: Math
Category: 逻辑、集合论与范畴
Source: book.douban.com
Vault note: library/books/math/Category-Theory-for-Programmers-d1758fccc8cc2d21.md

面向程序员的范畴论入门，使用 Haskell/C++ 等编程例子解释函子、自然变换、单子、代数数据类型和伴随等概念。

适合把函数式编程经验转化为范畴语言，理解抽象接口背后的数学结构。

Bartosz Milewski；2018-10-21。

Loading comments...