HackerTube 中文?

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

PyCon 2019YouTube ↗

Further reading 1

What can a language express, and what can it guarantee? →Factorial can be written without naming the function. That trick raises a harder question: if every program must terminate, can unrestricted recursion be allowed? Take that distinction into slides, libraries and language extensions.This video helps answer · Why did the branch we skipped start recursing?

Caption notes

While encoding a conditional as a function, David Beazley runs into evaluation order. Python evaluates both arguments before an ordinary call, starting recursion down an unwanted branch. Wrapping the branches in functions defers the work until one is selected.

Community transcript ↗
Original passages · 2
it goes down both paths. And it turns out that the second path just explodes in infinite recursion
David Beazley - Lambda Calculus from the Ground Up - PyCon 2019 · ▶ 158:20–158:30
you're basically delaying the calculation to some later point in time
David Beazley - Lambda Calculus from the Ground Up - PyCon 2019 · ▶ 159:35–159:45

Hacker News comments

View original on HN ↗