error-handling

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

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