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

泛型擦除和scheme有啥关系

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

我喜欢大家现在还能为观点争论，至少比低信息量的“和谐”强。

支持

OOP 就是提升复用性的 FP
（如果再加上 FP 就是真正意义的多范式了，纯 OOP 只是和 FP 有交集）

lisp-1指的是变量和函数共用一个namespace

lisp-2指的是两个namespace

没有 namespace
只有 binding

Lisp(1) 是 dynamic 时序作用域
Lisp(2) 是 binding

主谓宾缩减一下 一个闭包是一种技术 这怎么可能
没有一等函数就没有闭包吗，那java不能加入闭包吗
最后所谓的闭包是名词误用

我接触到的语言里只有common lisp是lisp-2

啊，啥意思，不懂

namespace, context, environment

Java 只是没有“所谓的”闭包
java.util.function.Function

面向对象里一个对象其实可以视作一个闭包
尤其是 anonymous class instance 时

那那些多种类型可以一个变量名但变量不同的能不能叫lisp-N?

那typed rackect是不是lisp

Lisp(3) 就有了

你看，这个概念混淆不混淆？

Lisp本来就是个落后的远古名词
应该抛弃

多种类型一个变量名是什么意思？一个变量多个类型？那不是成type class啦

Haskell 就是 Lisp(4)，所以 Lisp(n) 里 n 的含义是什么？没有任何特殊的含义。

好比 unification 类型推导最终不能把 type parameter T 给 reduce 到一种可能性，当然是最后再反过来检查的时候啦（不同的 substitution 组是可能的）