error-handling

讓 Type Checker 看得見的錯誤：停止拋出，開始回傳

拋出的例外會讓型別系統看不到失敗路徑。以下是為什麼明確回傳錯誤能讓你的程式碼更誠實，以及如何在不折磨自己的前提下採用這種做法。

你的函式簽名說它回傳 。其實不然。它回傳 ，不然就爆炸。型別系統根本不知道有第二條路。 這就是基於例外的錯誤處理最根本的不誠實。每一次 都是一條編譯器看不見、無法檢查、也無法強制的控制流路徑。你會得到型別檢查完美通過、卻還是在正式環境崩潰的程式碼，只因為有人在三層呼叫之外忘了寫 。…