type-level-correctnesserror-handlingtypescriptrust 别再抛出你的类型检查器看不见的错误 抛出的异常会把失败路径从你的类型系统中隐藏起来。下面解释为什么显式返回错误能让代码更诚实，以及如何在不折磨自己的情况下采用这一模式。 你的函数签名说它返回一个 。事实并非如此。它返回一个 ，或者它会爆炸。类型系统根本不知道还有第二条分支。 这正是基于异常的错误处理最根本的不诚实之处。每一个… 2026年6月22日