Thread by @thecat

今天第 n 次被問到為何如此嫌棄 typescript 以及它的缺點到底有多慘，因此快速整理了一下手邊資料與例子，先講結論：

ts 傾向 completeness 但只做半套因此極不安全，flow 傾向 soundness 並盡量做到最好因此相對較安全。

🤓

用一張圖看 ts 缺點最快，並總結三點如下：

1.unsound 代表無法確保 runtime 不會出錯

2. 不支援 runtime type checking 因此像載入 JSON 資料時無法確保安全性

3. 萬惡的 any 只要用下去程式安全網就消失無蹤，而不幸的它是許多人的最愛

總之採用 ts 的下場就是無止盡的挫折、咒罵與專案延遲😌

同場加映一個趣味 bug，猜猜理應能正常執行的程式為何被 tsc 報錯？😗

但既然這麼多人用所以 ts 總該有些俱體好處吧？

1. 程式碼內可看到型別能有效降低認知負擔

2. 可提供精準自動完成並且重構程式較不易出錯(例如變數更名)

3. 能抓到明顯的型別錯誤(但對 edge case 無能為力)

4. 潮，而且有比沒有好🤡

因此真正重要的關鍵問題是：

1. 團隊與公司是否值得花大量時間與成本來獲取上開好處？

2. 有無其它解決方案效果一樣好但成本低很多？

3. 更簡言之 → 用了 ts 後你真的有爽到嗎？🧐

所以從前端開發的角度來說，眼前有哪些更好的選擇？在此簡單依採行難易度表列如下：

js, flow, elm, reasonML/purescript/haskell, rust

篇幅有限細節就不多說，但簡單講越後面的越好啦😎

最後且聽老納一句勸👇

♥️都要戴套了當然選不會破的否則不如直接中...(喂喂🔞

好讀版：

threadreaderapp.com/thread/1297815…