为什 Ada 语言没有普及开？

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

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

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

如何评价 hegel 这个 type checker?

计算机领域有哪些短小精悍的轮子？(仅用于教学)？

MongoDB 等 NoSQL 与关系型数据库相比，有什么优缺点及适用场景？

如何把任意的递归函数写成利用堆栈的非递归形式？

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

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

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

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

你见过哪些让你瞠目结舌的 Java 代码技巧？

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

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

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

求讲解下列链接以及pascal嵌套子程序是如何实现的？

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

编译原理中的抽象语法树(AST)为什么而存在？

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

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

如何评价 Meta 的代码搜索系统 Glean?

操作 AST 树都有哪些标准算法，各自的优缺点是什么？

什么是闭包？

Scheme 适合用来做什么？

Y Combinator 的名字是怎样来的？有什么故事？

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

如何写 Lisp 解释器？

OCaml 语言能做些什么？

为什么很多语言的实现里面的 Lexer 都没有使用 DFA？

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

SLR与LALR之间的区别？

如何在程序中将中缀表达式转换为后缀表达式？

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

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

Parser Combinator 在语法解析的当中处于怎样的位置?

编译原理（龙书）的句法分析部分内容是不是有很大问题？

shift reduce，预测分析，递归下降分析（这是解析方法）和LL(K) LR(K) SLR以LALR的关系？

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

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

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

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

比起其他主题，自学数据库系统需要更多的付出。这是一个相对年轻的研究领域，并且出于很强的商业动机，研究者把想法藏在紧闭的门后。此外，许多原本有潜力写出优秀教材的作者反而选择了加入或创立公司。

PingCAP 这家公司的前景如何？

学习编译原理有什么好的书籍?

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

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

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

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

哪门语言的设计最能规避运行时错误？

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

Glavo

如果实现了一种不用暂停世界的GC算法，会对现在编程语言产生什么影响？

如何看待R大加入大数据公司Databricks？

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

程序在编译的时候，会转换成汇编，然后是机器指令，那么运行的时候，操作系统充当什么呢？

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

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

lisp是否和静态类型基因上就不合？

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

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

如果想自学逻辑学哪里有可靠的信息来源？

如何理解linear logic？

什么语言最适合写编译器/解释器？

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

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

如何评价 MSR 的 Lean Theorem Prover？

如何看待微软研究院的LEAN项目没有使用微软出品的编译器?

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

简单图灵机怎么模拟高级的？

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

不适合编程的人是怎样的？

面向对象编程的弊端是什么？

invalid s​

程序员基础掌握得好学新东西真的就快么？

编程真的能改变人的思维方式吗？

现代计算机之父明明是冯诺依曼，为什么提到计算机，大家首先想到的是图灵？

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

目前，人工智能各个流派发展现状如何？

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

世界上第一款编译器是如何打造的？

LISP可以做什么？

Common Lisp 为什么不用卫生宏？

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

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

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

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

rust是不是一个no gc 的 haskell？

如何评价The Development of Chez Scheme ？

精通 Lisp 是一种怎样的体验？

为什么lisp开始是为了人工智能创造的，可是现在人工智能火了，lisp却被冷落了？

Lisp machine 这种用 Lisp 代码当机器的汇编指令的硬件实现为什么销声匿迹了？硬件和 Lisp 这样的高级语言两个极端如何融合在一起？

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

类型应该是一等公民吗?

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

lambda演算求值顺序的问题？

如何评价PLT Redex？

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

Haskell 和 Scheme, 哪一个更适合用于生产环境?

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

如何评价 Abstracting Gradual Type?

Julia 究竟是静态类型还是动态类型？

应该怎么理解编程语言中的协变逆变？

为什么社区里那些类 React 库至今没有选择实现 Fiber 架构？

haskell中的callcc有什么用？

实现 Async/Await 是否必须魔改编译器，靠普通 OOP 机制能否实现？