我接触到的语言里只有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 的名词引用。
无恶意，要因为被恶心到而拉黑/封人/退群，请多为我和可能对技术感兴趣的其它人想想。谢谢。

rt

https://t.me/dsuse_tmp/2180

你们觉得我还有啥可以改的……

现在大佬真是越来越难分别了，我看人只分表面特征或语义/提纲能力（对这类能力的评判不是共识，只是我个人的方法）

可是看起来一般的大佬我都看不出，他们的脾气又往往不是啥话都吃得消…… 这么说我该刻意避免往有大佬的群组跑？

自以为其实也没有特别「自以为是」，顶多无法发现对方是大佬
现在大佬都不喜欢「显山露水」，总习惯列名词，我都不清楚他们到底是什么情况，该如何交谈相处

这又被突然 blacklist 了一个，我也没话说了……