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

系列分集

MIT 范畴论与编程第 14 讲：用单子组合可能失败的计算

Programming with Categories - Lecture 14

先写两个可能中途失败的函数，再比较直接复合时需要反复检查哪些情况。顺着讲解看单子怎样把这些检查整理进统一的复合规则。

Topos Institute · 系列收录

在此播放

讨论出处

• Hacker News · 推荐系列的原讨论 ↗Programming with Categories · 2021-04-10