剖析 SPI 在 Spring 中的应用

当枚举遇到位掩码，还能这么玩？

一门语言没有ad hoc polymorphism，那应该怎么解决呢？

为什么诸多编程语言都将模式匹配作为重要构成？

如何设计解释器的文件结构使之更优雅？

Jvm规范中的LDC_W指令问题？

java System.gc() 与 Runtime.getRuntime().gc() 有什么区别？

专攻哪门编程语言好？

Java中的泛型会被类型擦除，那为什么在运行期仍然可以使用反射获取到具体的泛型类型？

IDE的自动提示是如何实现的？

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

为什 Ada 语言没有普及开？

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

编程语言中， type, typed, typing 有什么区别？

什么样的类型系统才是 Unsound 的?

Daniel P. Friedman的新书The Little Typer怎么样？

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

对大量使用 immutable data structure 的语言，其 VM 和 GC 会有何特点？

在不使用JIT的前提下，解释器能达到多高的速度呢？

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

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

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

设计闭包（Closure）的初衷是为了解决什么问题？

从语言设计的角度来看, Pascal 是一门优秀的语言吗?

和 C++ 相比，用 Fortran 编程是怎样的体验？

什么是闭包？

Scheme 适合用来做什么？

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

OCaml 语言能做些什么？

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

如何理解编程语言中「操作符」（operator）的概念？

语言设计中运算符优先级如何确定？

学习程序语言设计与类型系统如何找到工作？

上下文有关（注意，不是无关）文法与自然语言的区别在哪里？

为什么编程语言都是上下文无关文法，不能采用上下文有关文法吗？

有哪些讲编程范式的好书或好文？

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

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

现今编程语言的理想类型系统是怎样的？

函数式编程中的 algebraic effects 是什么？

为什么大部分编程语言不支持宏？

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

scheme中letrec的语义要如何转化以及实现？

编程语言发展史上有哪些趣事？

对r6rs中一个letrec实现的问题?

(list 1 2 3)为什么不可以是(cons (cons (cons nil 1) 2) 3)?

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

First class higher order function 是编程语言发展中的弯路吗？

如何评价 MSR 的 Lean Theorem Prover？

如何看待 Lean 和 Agda 逐渐成为年轻人的第一个 prover?

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

函数式编程是否适用于超大型项目？

（sicp 计算机程序的构造和解释） 如何理解无限长的流？

LISP可以做什么？

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

为什么有些程序语言的类型推断可以推断函数参数，有些不会，哪种更好？

现代语言的closure是如何处理的？

OCaml语言有什么先进的地方?

rust是不是一个no gc 的 haskell？

如何评价The Development of Chez Scheme ？

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

类型应该是一等公民吗?

Lazy computation 在实际应用中有什么妙用？

lambda演算求值顺序的问题？

如何评价PLT Redex？

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

有人说动态语言没有类型系统，这个认识是对是错？如果是错的，应该从什么角度进行回应呢？

haskell中的callcc有什么用？

为什么C/C++等少数编程语言要区分左右值？

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

如何写一个简单的编译器？

学习 scheme 有哪些资源推荐？

free一块修改过的malloc指针会发生什么？

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

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

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

normalization property、type safety与soundness有什么联系？

有没有关于编程语言的大一统理论？

Lisp的精髓是什么？

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

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

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

为什么 Go 语言如此不受待见？

函数式编程的函数是如何实现的？

什么是「continuation」?

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

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

如何实现 Call / CC 或者阴阳谜题（Yin Yang Puzzle）？

C 语言如何实现 continuation？

scheme中的continuation实现原理是什么？

使用yield可以做哪些很酷的事情？

如何用七条公理构造call/cc？

Y Combinator 的函数签名该如何表达？

Racket 这个语言的潜力怎么样？有什么生产环境使用的例子吗？

编程语言，编译，软件工程方面，在知乎上有哪些可以关注的researcher包括PhD student?

如何评价王垠的《Sum types and union types》？

Haskell等语言中的模式匹配在C++中如何实现？

编程语言需要哪些机制才能支持模式匹配(pattern match)？

为什么说racket中的syntax object是卫生宏的基础础？

用racket实现R或Python时如何处理赋值？特别是条件语句和循环语句中的赋值,还有函数对外部变量的赋值？

图灵奖得主、《龙书》作者万字长文讲解：什么是「抽象」？

编程语言理论

可以给类型系统设计解释器吗？

为什么滑铁卢大学让大一学生从不实用的racket语言学起而不是直接上手C语言？

宏的“理论极限”是什么？

Racket这种可以把语言特性写成库的语言为何没有得到广泛的工业应用？