PickVidsPhilip Wadler - Propositions as Types (Lambda Days 2016)
推荐理由
This[0] is an incredibly awesome lecture where Phil Wadler takes us on a whirlwind tour of computer science.
强烈推荐vishnugupta · 原文
说明
这是2016年由Erlang Solutions发布的一部演讲，主题归在Logic & formal methods。它讲的是propositions as types这一支里的具体问题，而不是把整个领域扫一遍。适合已经能看懂基本术语、想继续往下走的人。内容上可以概括成：Philip Wadler's Lambda Days talk on propositions as types, the link between logic and computation that underlies theorem provers and programming language design.这些读者给出的理由，核心是：Recommended as an exceptional whirlwind tour of the foundations of computer science.讲法不绑某一条新闻，过几年仍然可以当材料看。从2016年到2021年，有2位不同的读者在2个不同月份把它推荐出来，其中明确叫别人去看的有1次。适合一次性看完。讲者把一个判断讲透，演示是在给这个判断配例子。如果已经会了基本定义，就把注意力放在它怎么把propositions as types变成能跟着复述的例子。
视频信息
- 频道
- Erlang Solutions
- 时长
- 56 分 58 秒
- 发布年份
- 2016