为啥 Erlang 没有像 Go、Scala 语言那样崛起？

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

既然 GraalVM 支持多语言且能 AOT 编译 Java，它能否用来 AOT 编译 TS？

TAPL这本书适合作为入门读物吗？

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

编程语言为什么有变量类型这个概念？

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

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

如何自己创建一种编程语言？

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

你所读的计算机科学方向，有哪些不错的讲义（Notes）？

完成一个Scheme解释器需要哪些知识？实现各功能都有哪些东西需要理解？

图灵机与λ演算是等价的，为什么前者成为了普遍接受的计算机或计算理论的模型？

未来什么编程语言和开发技术会比较吃香呢？

如何看待王垠的博文《数学和编程》？

编译技术中各环节比重如何？

知乎的技术架构是什么样的？

能否通过语义直接生成解释器？

有人质疑PL研究，比如program slicing的价值。如何解释？

Y不动点组合子用在哪里？

计算机学术论文中有哪些令你惊艳或喜欢的 idea？

如果一种计算机语言不会影响你对编程的看法，它就不值得学习。