你们能不能想想，如果你们是我，被一个人屏蔽了，现在又一个人要因为我退群，你们怎么办？

不帮忙 deal with，又怎么有立场为我找茬？

我不知道自己有没有错，但我的感觉很糟糕，谁会顾忌到我的感受？
原来带提示的开玩笑也是有限度的啊。

说句实话以你发表的言论来看，我没觉得你需要帮助

我觉得你对这些问题很有自己的想法

所以没人干预你的想法

那是过程式
才有 assign，赋值的概念

type checking 里 assign 则是 指派 的意思

lisp-1和lisp-2只是一个遗留的历史概念，何必追究呢，

不如去研究一下 Haskell 的 Hindley-Milner 多态类型系统？

HM 的 type inference 是纯 unification 的

没入门
告辞

那为什么不去研究下system F。。。

没入门

既然简单，我就不会叫 System F 这种晦涩的名字

多态系统可以解决，谁说 a 必须只能指代 函数a 或 量a 其中之一的？

JW 你跟我 brief 一下 Lambda 演算的基本 term 和 operation

不会

要不然我不清楚你说得到底是有引用背书的，还是你自己造的

没听说过草

还有term一说吗

指定理？

我都会自己造词了吗。。。