首页分类喜欢稍后看历史关于

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

推荐理由

David Beazley gives a brilliant introduction to lambda calculus here

强烈推荐globular-toast · 原文2021年6月

说明

这是2019年由PyCon 2019发布的一部教程，主题归在Computability & complexity theory。它讲的是lambda calculus这一支里的具体问题，而不是把整个领域扫一遍。适合已经能看懂基本术语、想继续往下走的人。内容上可以概括成：David Beazley's PyCon 2019 tutorial derives the lambda calculus from the ground up in Python, using only single-argument functions. He builds booleans, numerals and more with no other language features.这些读者给出的理由，核心是：HN calls it a brilliant, mind-bending introduction to lambda calculus for programmers.讲法不绑某一条新闻，过几年仍然可以当材料看。从2019年到2021年，有4位不同的读者在4个不同月份把它推荐出来，其中明确叫别人去看的有3次。适合打开电脑跟着做的人。如果只听不练，这集的价值会少一半。如果已经会了基本定义，就把注意力放在它怎么把lambda calculus变成能跟着复述的例子。

视频信息

频道: PyCon 2019
时长: 3 小时 26 分
发布年份: 2019

在 YouTube 打开

同主题更多