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

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

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

递归类型，比如说？

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

🤔很高深的类型

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

没有基线的递归？

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

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

没递归类型写不出来

不对，它们的类型可以都是 BinTree
然后运行时都可以 Visitor 动态剥开 Term / Leaf sum-type 分支

f = _ => {console.log(_); return f}

高深

动态语言都这样玩呀，非常爽

但你在静态语言里是不能这样玩的

我知道只有OCaml可以开启某个特性这样玩

无限的类型 有限地使用 停机的计算

贵群 @Pythonzh 真不打算放我小号 @duangsuse1 回去了？

他说的是类型检查，当然 C++ compile time 有 constexpr 能做得也不少