为啥这么多人黑java类型擦除

凭什么说我不会？既然概念正确都要看大家的标准，把我和贵群的群友比较下不就知道会不会了？

因为它的泛型就是个假的。。。

凭什么说 Python 不是 lisp？既然概念正确都要看大家的标准，把 Python 和 LISP 比较下不就知道是不是了？

那这么说typescript的泛型不也是...

新的句式出现了！

贵群管理刚才说的，概念是看风向定义的

人多即为正确

看，大家都认为乃不会 Python

这只对lisp是成立的

Typescript 是渐进类型，本身目标语言就是动态类型……

这么说 Kotlin 不支持递归类型……？

之所以有人说那个泛型是假的是因为泛型的信息没带到运行时

递归类型，比如说？

函数返回自身呀，造成无限类型循环

🤔很高深的类型

动态语言最爽的就是可以函数返回函数自身

没有基线的递归？

f: t -> r where r: typeof(f)

不就是二叉树节点的字节点类型还和它自己一样吗