Philip Wadler - Propositions as Types (Lambda Days 2016)
Erlang Solutions · 2 则 HN 推荐
视频问答
可以让 AI 解释当前片段，或总结整部视频。如果回答附有时间戳，点击即可跳到对应片段。
试着问：这里讲的是什么意思？
需要用 Google 登录。确认前可查看最多会扣除多少积分。
Philip Wadler's Lambda Days talk on propositions as types, the link between logic and computation that underlies theorem provers and programming language design.
HN 推荐的原因： Recommended as an exceptional whirlwind tour of the foundations of computer science.
“This is a very good lecture series[4].” 阅读 HN 讨论 ↗