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 组是可能的）

比如可以 a: int = 1:a :string=2;
但这是两个不同的 a

有的编程语言可以

而且据说不难实现

Haskell 里你用 typeclassopedia 可以做到

#PLT #CS #TT

不好意思，刚才没发现这一条
我不想再加一个 ban 了……

估计是这个机器人进步的一个契机吧 契机呢（半笑

心直口快，半认真半开玩笑，比较菜但不喜欢含糊其辞以及不带 brief 的名词引用。
无恶意，要因为被恶心到而拉黑/封人/退群，请多为我和可能对技术感兴趣的其它人想想。谢谢。