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 了一个，我也没话说了……

其实这个投票的顺序有点错了（中间组和第一组两个交换下，就按态度「积极程度」升序了）

草 我说的审核严格的裙不是迂腐的学院派编译技术吗

噢，千里冰封比较喜欢交朋友
他给我拉进去的，我得谢谢他

虽然之前一次给我取消 QQ好友关系了，但这个群没踢我

没想到冰封其实也是一个热心肠的dalao，没说错，是我见得少了

当年我跟风王垠瞎喷 Haskell，居然没全网 ban 我，后来还回复我 PM 消息，想想有点感动。