借題發揮一下：static typed for the win
不過還是先切題回答「靜態語言的缺點」：
在大部分常用的靜態語言中，的確可能出現 valid program 不好標注 type 的情況
不過到底有多難標注就完全看是哪個語言跟哪個版本了

typecheck 對於成功 type checked 的程式碼的關係就相當於 compile 對於成功編譯出來的執行檔的關係一樣計算和類型本來就是等價的，不知道為什麼有很多人在討論靜態型別的優缺點，但都沒看到有人在講編譯式語言的優缺點強型別對程式碼的好處不就像是編譯式對程式的好處一樣嗎？

理想上同意，但實務上可能會有一些詭異的狀況

推