为什么最初的Lisp是基于untyped lambda calculus而不是typed lambda calculus

[cireu]

为什么lisp，或者说common lisp现在这么冷门呢？

保守估计，主流语言至少要学五种才能涵盖所有 CL 的特性，反过来，没有什么语言的特性 CL 是做不到的。 编译时就是运行时，运行时也能使用编译器。 高度可扩展的 parser 和 printer。 还有个 trivial 但是别的语言的确没有的功能，multiple-return-value 比绝大多数语言短 和最快的语言在同一梯队 从 Racket, Haskell, Python, Java, Ruby 抄个库信手拈來，对于 Java, C, C++ 都可以调用。 One of the common complaints about Lisp that there are no libraries in the ecosystem. As you see, 5 libraries are used just in this example for such things as encoding, compression, getting Unix time, and socket connections. 你觉得只有一个 ANSI C Std Lib…

大概lisp最开始就没想着lambda演算吧