语言只是工具，那么什么是编程思想呢？

CEK machine里的C、E、K分别对应了“真实”计算机里的哪些构造？

类型系统里的概念 Soundness 和形式系统中的概念一致性（Consistency）有什么异同？

为什么我们需要了解编程的历史？

怎么评价这份PLT Learning By Doing Guide 攻略？

如何理解算法时间复杂度的表示法，例如 O(n²)、O(n)、O(1)、O(nlogn) 等？

有没有简单易懂的算法来判定一个语言是/不是图灵完全的？