HackerTube 中文?
Field guide

The limits of programming languages

From anonymous recursion to parsers: compare what a language can express with what it can guarantee.

Choose a question

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.When does input become an instruction? →A typo can still be valid code. A data format can turn out to express computation. Follow an input inward and identify who decides how to interpret it.