Lambda Calculus - Fundamentals of Lambda Calculus & Functional Programming in JavaScript
推荐理由
they are the most approachable videos on the topic I have ever seen.
强烈推荐Zhyl · 原文
说明
这是2017年由Fullstack Academy发布的一部课堂讲座,主题归在Computability & complexity theory。它讲的是lambda calculus这一支里的具体问题,而不是把整个领域扫一遍。适合第一次接触、还没有先修课的人。内容上可以概括成:Gabriel Lebec's Fullstack Academy talk introduces lambda calculus syntax, the history of mathematical logic, and the essence of functional programming using JavaScript. It also covers combinators, currying and Church encodings.这些读者给出的理由,核心是:Repeatedly recommended as one of the most approachable introductions to lambda calculus and combinators.讲法不绑某一条新闻,过几年仍然可以当材料看。从2019年到2024年,有5位不同的读者在5个不同月份把它推荐出来,其中明确叫别人去看的有3次。节奏接近上课,可以暂停做笔记。它假设你愿意跟着一条推导走完。如果已经会了基本定义,就把注意力放在它怎么把lambda calculus变成能跟着复述的例子。
视频信息
- 频道
- Fullstack Academy
- 时长
- 1 小时 2 分
- 发布年份
- 2017
同主题更多
- Ruby Conf 12 - Y Not- Adventures in Functional Programming by Jim Weirich
- 28c3: The Science of Insecurity
- "Propositions as Types" by Philip Wadler
- Break Me00 The MoVfuscator Turning mov into a soul crushing RE nightmare Christopher Domas
- Math's Fundamental Flaw
- On The Turing Completeness of PowerPoint (SIGBOVIK)