不算挖坑。
类型是客观事实，怎么设计语言系统都改不了。
动态类型是设计目标，进一步是为了降低开发难度。
所以最后自然会有矛盾之处，可以算是动态类型的代价。硬要说是坑的话，那也是早在设计之初就知道的明坑。

typescript加上了类型，但并没有强制。
python也可以标注类型，但也是不强制。

【 在 threebird 的大作中提到: 】
: 不写类型但事实是有类型，类型不对还不执行，typescript又补上了类型。
--
FROM 183.192.17.*