视频目录 / 抽象代数与对称

系列分集

范畴论 II 第 1.1 讲｜声明式和命令式方法

Category Theory II 1.1: Declarative vs Imperative Approach

声明式写下结果应满足的关系，命令式逐步规定操作。讲座用这两个角度讨论程序结构怎样与抽象数学相遇。

Bartosz Milewski · 系列收录

在此播放

讨论出处

• Hacker News · 推荐系列的原讨论 ↗Category Theory II · 2020-05-06