看到有人做了个挺有意思的对照：同一个问题，让它用动态类型的语言写，一遍过；换成带类型系统的写法，反复卡在类型定义上，绕来绕去改不对。我自己复现了一下，感受是它的生成过程更像在按经验往下续，动态语言里错了跑起来才知道，它可以边试边改；而类型系统是先验的约束，你得先把整个数据形状想明白，这就要求它真的建立了全局模型，而不是顺手往下写。所以类型报错某种意义上是照妖镜。你们那边这个差异明显吗？
有样本量吗 单个例子说明不了什么
跑起来才知道错 就是它的舒适区
泛型一多它就开始瞎编 属实
我这边差异没那么夸张 但确实慢
TS类型体操一复杂 它就开始乱塞any
较真是对的 但方向我信