数学影像馆

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

系列分集

范畴论第 5.2 讲：代数数据类型

Category Theory 5.2: Algebraic data types

用积表示“两个字段都要”，用和表示“二者任选一种”。可以拿一个带标签的数据类型，沿构造逐层数清需要携带哪些信息。

Bartosz Milewski · 系列收录

打开原视频 ↗浏览抽象代数与对称

讨论出处