视频目录 / 拓扑与流形

热度排名 #1406

给函数式程序员的同伦类型论入门

3 01 A Functional Programmer's Guide to Homotopy Type Theory

从熟悉的类型和等式出发，尝试把相等证明看成路径。这个视角让程序语言里的概念和拓扑连接起来。

ICFP Video · 1 串讨论 · 热度 1.869

在此播放

讨论出处

• Hacker News · 原讨论 ↗2016-10-07 · 帖子分数 3