Ruby Manor 3 - Programming with Nothing by Tom Stuart
推荐理由
An awesome video which changed my perspective towards lambda calculus and programming in general
说明
这是2012年由Confreaks发布的一部演讲,主题归在Computability & complexity theory。它讲的是lambda calculus这一支里的具体问题,而不是把整个领域扫一遍。适合已经能看懂基本术语、想继续往下走的人。内容上可以概括成:Tom Stuart's Ruby Manor 3 talk builds FizzBuzz using nothing but Ruby lambdas, working through Church encodings of numbers, booleans and data structures. It is a hands-on introduction to lambda calculus.这些读者给出的理由,核心是:Strongly recommended in lambda calculus and Y-combinator threads as a mind-expanding half hour that clarifies the ideas.讲法不绑某一条新闻,过几年仍然可以当材料看。从2013年到2019年,有4位不同的读者在4个不同月份把它推荐出来,其中明确叫别人去看的有3次。适合一次性看完。讲者把一个判断讲透,演示是在给这个判断配例子。如果已经会了基本定义,就把注意力放在它怎么把lambda calculus变成能跟着复述的例子。
视频信息
- 频道
- Confreaks
- 时长
- 40 分 50 秒
- 发布年份
- 2012
同主题更多
- 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)