为什 Ada 语言没有普及开？

看一些 Type Inference 的论文感觉吃力，需要补哪些知识？

如何有步骤地实现一个解释器？如果采用低级语言，如 C 之类的语言来实现像 Lisp 这样的语言，需要什么知识和工具？

SystemF 对应二阶逻辑，Fω 对应高阶逻辑，这个阶是怎么算得？

[PLT]和[数理逻辑、类型论、抽象代数及范畴论]的关系是什么？

Cut elimination对于STLC以及其他type system的意义？

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

Racket有contract为什么还要加一个type system？

读 CS PhD 之前没有工业界经历真的没关系吗？

在计算机科学中，整体来说，PL 更接近 Theory 还是 System？

是否可以说 Contract 和 Type Inference 模糊了静态类型和动态类型的界限？

LISP可以做什么？

如何评价 The Little Schemer 系列的文风？

如何证明一个语言的类型系统是sound的？

lambda演算求值顺序的问题？

如何评价PLT Redex？

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

如何看待编程语言越来越大的趋势？

Call By Need语义下如何做Partial Evaluation？

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

设计一门编程语言的话，你认为最重要的一定要有的特性会是哪些？

想看懂编程语言理论书籍需要什么前置的知识?

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

系统地学习PLT需要读哪些经典书籍？

编程语言理论

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

CPS变换可以用来将普通递归转变为尾递归？？

程序语言设计界是否开始认为 Subtyping 是 Anti-pattern？

类型（Types）和集合（Sets）二者之间有何区别？

子类型（subtyping）是不是错误（ill-defined）的东西？

如何评价Liquid Types？