除了 simply typed，还有 Hindley milner 的 polymorphism

为什么 Python 2 是 Lisp

难道 closure 不是 Scheme 搞出来的吗

为什么

所以你说不算就不算吧。。。

Lisp 2 比 1 强多少

啊，你概念搞错了

没有强弱之比

https://en.m.wikipedia.org/wiki/Closure_(computer_programming)
我也要引 wiki

比如我
我就觉得它不是

还有人不承认rackect是scheme

说白了就是社区认同

那你们感觉Guy Steele说的算吗？

第一句话就是错的

因为许多人喜欢把一切 s-expression 语言当成 Lisp "dialect"
许多人喜欢把一切语言特性当成语法糖，甚至于 Java 5 加入的 generics

我就是讨厌这一论调

那错了

Scheme 不是 "dialect"
Generics ereasure 不是 “语法糖”

定义范围越大意义就越小，我是个重视语义的人。

泛型擦除和scheme有啥关系

都2020年了Java还是不支持first-class function，呵呵