数学影像馆

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

热度排名 #194

代数数据类型里的代数

The Algebra of Algebraic Data Types

把「可以是 A 或 B」看成加法，把「同时存 A 和 B」看成乘法，再用具体类型检验熟悉的分配律。

London Haskell · 6 串讨论 · 热度 13.61

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

讨论出处