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

热度排名 #93

从零搭起 λ 演算｜PyCon 2019

David Beazley - Lambda Calculus from the Ground Up - PyCon 2019

跟着戴维·比兹利用函数抽象和函数应用表示运算，看看只靠函数怎样编码布尔值与数字。

PyCon 2019 · 11 串讨论 · 热度 25.679

在此播放

讨论出处

• Hacker News · 原讨论 ↗2022-02-28 · 帖子分数 568
• Hacker News · 原讨论 ↗2019-05-22 · 帖子分数 288
• Hacker News · 原讨论 ↗2019-10-16 · 帖子分数 271
• Hacker News · 原讨论 ↗2021-06-28 · 帖子分数 144
• Hacker News · 原讨论 ↗2019-05-07 · 帖子分数 135
• Hacker News · 原讨论 ↗2022-05-23 · 帖子分数 120
• Hacker News · 原讨论 ↗2020-08-18 · 帖子分数 105
• Hacker News · 原讨论 ↗2019-08-22 · 帖子分数 75
• Hacker News · 原讨论 ↗2024-02-15 · 帖子分数 72
• Hacker News · 原讨论 ↗2020-01-08 · 帖子分数 1
• Hacker News · 原讨论 ↗2023-09-15 · 帖子分数 1