数学影像馆

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

热度排名 #253

写程序的人怎样用范畴论？菲利普·瓦德勒演讲

Category Theory for the Working Hacker by Philip Wadler

把类型当作对象，把函数当作箭头，从熟悉的函数复合读起，看看同一种组合思想怎样在类型与程序里重复出现。

Lambda World · 5 串讨论 · 热度 9.913

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

讨论出处