HackerTube English?
子领域索引

程序的表达能力

从匿名递归到解析器，比较「能表达什么」和「能保证什么」。

从一个问题开始

一种语言能算什么，又能保证什么？ →阶乘可以不用名字写出来。这个技巧提出了一个更难的问题：如果每个程序都必须停下来，还能允许任意递归吗？沿着这个分歧，再看幻灯片、库与语言扩展。输入从哪一步变成了指令？ →拼错的表达式有时恰好合法；看似只装数据的格式也可能执行计算。顺着输入往里走，找出究竟是谁决定它的含义。