借题发挥一下：static typed for the win
不过还是先切题回答“静态语言的缺点”：
在大部分常用的静态语言中，的确可能出现 valid program 不好标注 type 的情况
不过到底有多难标注就完全看是哪个语言跟哪个版本了

typecheck 对于成功 type checked 的程式码的关系就相当于 compile 对于成功编译出来的执行档的关系一样计算和类型本来就是等价的，不知道为什么有很多人在讨论静态型别的优缺点，但都没看到有人在讲编译式语言的优缺点强型别对程式码的好处不就像是编译式对程式的好处一样吗？

理想上同意，但实务上可能会有一些诡异的状况

推