数学影像馆

视频目录 / 数学逻辑、集合与证明

热度排名 #1059

函数成群第二讲:用 JavaScript 理解组合子、λ 演算和丘奇编码

A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS - Part II

跟着 JavaScript 函数看抽象计算怎样落实到代码。一个值得留意的问题是,数字或布尔值怎样用函数本身表达。

Gabriel Lebec · 1 串讨论 · 热度 2.412

打开原视频 ↗浏览数学逻辑、集合与证明

讨论出处