数学影像馆

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

热度排名 #556

一群函数:用 JavaScript 学 λ 演算和组合逻辑

A Flock of Functions: Lambda Calculus and Combinatory Logic in JavaScript | Gabriel Lebec @ DevTalks

先把函数当成能够接收并返回另一个函数的对象。跟着简短的表达式走一遍代入,就能看出代码中的规则怎样和形式逻辑对上。

SmartlyIO Engineering · 2 串讨论 · 热度 4.514

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

讨论出处