语言操纵万物，直到这个“万物”也包括语言自身的时候，奇点就到来了。也不知是幸运还是不幸，我们今天就站在这个奇点之上。

质-量杂种词只能影响人，而形式语言可以操纵物，因而具有彻底改造甚至置换这个世界基质的潜力。 正是凭借这些精确、无歧义的符号系统，人类得以描述世界的规律，最终用语言操纵万物。 前面我们提到的量化建模，只是量化世界的表象外壳，它与古代工匠用标尺度量材料进行复杂加工没有本质区别，差别只在于我们有了更精确的卡尺和更强的计算能力。这是前现代的技术特征——背后的范式仍然是几何学和经典力学，此时，语言尚且悬浮于物的外围。

我们那个年代，还会说这个人很温柔、风趣、嘴上抹了蜜、善解人意、让人如沐春风之类的；会说这个工作有存在感、意义感、内在满足、让人快乐、有挑战性、让人痛并快乐着等等。现在我们只说这个人、这份工作能提供“情绪价值”。 这又是一个强行换算不可换算之物的概念。这个词相当好用，几乎能用来说明一切让你“感觉很好”的场景，但到底是什么让你感觉好，感觉好意味着什么，这些质性的内容被化约掉了。这里的“情绪”甚至都不是一种情绪，而是情绪的类别。对于一个能提供情绪价值的人或工作，我允许自己索取更少的实际价值，其中有一个换算关系在。

人的世界内核常常与可见物无关，是一些纯粹的意念、观念、理念或信念，它们有特定的词汇对应，比如美、正义、爱、意义、真理。 这很好，因为这些都是典型的质性词汇——看不见、摸不着，说不清、道不明，但它就是在那里，我们就是能感受得到它。但越来越多的量化词汇正在入侵我们的自然语言，它们暗中开启了一个无形的质-量编译进程。我把它们叫“质-量杂种词”。

接下来我的问题是：是否还有一个离我们更近、嵌入更深、更具延展性以至于我们极难觉察、划破的界面存在？ 有的，它就是语言。

如何看待文章 《The two factions of C++》？

transduction

Go语言程序员推荐使用 驼峰式 命名，当名字由几个单词组成时优先使用大小写分隔，而不是优先用下划线分隔

如果你想要相邻的几个case都执行同一逻辑的话，需要自己显式地写上一个fallthrough语句来覆盖这种默认行为。不过fallthrough语句在一般的程序中很少用到。

而在表达式 x+y 中，可在 + 后换行，不能在 + 前换行

剖析 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++中如何实现？