您正在開發 TypeScript 專案。程式碼乾淨並且架構良好，你為此感到自豪。有一天，彈出錯誤。它的堆疊追蹤比平均 npm 安裝更長，透過無數無法處理它的層向上冒泡。你的程式碼無法工作，你不知道從哪裡開始修復它，每一次嘗試都感覺像是笨拙的補丁。您的架構看起來不再那麼乾淨了。你討厭你的專案。您關掉電腦，去享受您的星期五。
JavaScript 的錯誤管理 缺乏 Rust、Zig 和 Go 等現代語言提供的表達能力和開發人員體驗。它的動態特性和缺乏護欄常常讓開發人員面臨不確定性，而沒有更嚴格的平台提供的堅實基礎和保證。
軟體工程的這一重要支柱在語言的文化和生態系統中沒有得到很好的體現，一些最受歡迎的npm 庫甚至沒有在其文件中提及異常。
缺乏標準會導致開發人員產生誤解異常很少發生。因此，這種扭曲的觀點導致社區對建立此類標準缺乏興趣。
JavaScript try-catch 模型隱藏了不明顯的意義。異常情況可能發生在任何地方，但預測它們卻極具挑戰性。這種看似簡單的模式常常掩蓋了日常程式碼中微妙的陷阱：
let value;
try {
value = mayThrow();
} catch (e) {
// Handle the exception.
}
程式碼片段中突出的第一個問題是範圍擴展，需要在 try-catch 區塊之外聲明變數以維持連續的控制流。這會導致更多冗長、難以追蹤程式碼，隨著程式碼庫複雜性的增加，可能會引入微妙的錯誤。
這種動態錯誤處理的隱式性質增加了開發人員的認知負擔，要求他們在整個程式碼庫中在心裡追蹤異常來源。相較之下，顯式錯誤處理模型（例如 Go 中的模型）迫使開發人員承認並處理任何錯誤。
result, err := mayFail();
從長遠來看，這是一個巨大的勝利，隨著專案的發展，可以促進更順暢、更安全的維護。
除了這些挑戰之外，TypeScript 的 catch 子句在追蹤和嚴格鍵入可能拋出的錯誤的能力方面還存在不足，導致在最關鍵的地方失去類型安全性。 JavaScript 甚至允許拋出非錯誤值，這讓我們幾乎沒有任何保護措施。像 Rust 這樣的語言透過其錯誤處理設計展示了這種方法的強大功能和優雅：
match may_fail() {
Ok(result) => println!("Success"),
Err(Error::NotFound) => println!("Not found"),
Err(Error::PermissionDenied) => println!("Permission denied"),
}
各種提案已提交給 TypeScript 團隊，旨在為更健全和可預測的異常系統奠定基礎。然而，這些提議經常被底層 JavaScript 平台中的限制所阻礙，該平台缺乏支援此類架構增強的必要原語。
同時，一些解決這些缺陷的提案也已提交給 TC39 （ECMAScript 標準化委員會），但仍處於早期考慮階段。正如馬特·波科克指出的那樣，宇宙的熱寂也在穩步進展。
當一種語言對創新產生摩擦時，開發者社群通常會以巧妙的函式庫和使用者態解決方案來回應。該領域目前的許多提案，例如特殊的Neverthrow，都從函數式程式設計
中汲取靈感，提供了一套類似於Rust 的結果類型的抽象和實用程式來解決問題：
function mayFail(): Result<string> {
if (condition) {
return err("failed");
}
return ok("value");
}
另一個突出的方法是效果
。這個強大的工具包不僅可以解決錯誤管理問題，還提供了一套全面的實用程式來處理非同步操作、資源管理等：
import { Effect } from "effect";
function divide(a: number, b: number): Effect.Effect<number, Error> {
return b === 0
? Effect.fail(new Error("Cannot divide by zero"))
: Effect.succeed(a / b);
}
const result = Effect.runSync(divide(1, 2));
Outside the joy of a nerd like myself in digging into tech like this, adopting new technologies demands a careful cost-benefit analysis. The JavaScript ecosystem evolves at a breakneck pace, with libraries emerging and becoming obsolete in rapid succession.
Choosing the wrong abstraction can hold your code hostage, create friction in your development process, and demand blood, sweat, and tears to migrate away from. (Also, adding a new package is likely not gonna help with the 200mb bundle size of your React app.)
Error management is a pervasive concern that touches nearly every part of a codebase. Any abstraction that requires rethinking and rewriting such a vast expanse of code demands an enormous amount of trust—perhaps even faith—in its design.
We've explored the limitations of user-land solutions, and life's too short to await commit approvals for new syntax proposals. Could there be a middle ground? What if we could push the boundaries of what's currently available in the language, creating something that aspires to be a new standard or part of the standard library, yet is written entirely in user-land and we can use it right now?
As we delve into this concept, let's consider some key principles that could shape our idea:
Now, let's dive into the heart of the matter by addressing our first key challenge. Let's introduce the term task for functions that may either succeed or encounter an error.
function task() {
if (condition) {
throw new Error("failed");
}
return "value";
}
We need an error-handling approach that keeps control flow clean, keeps developers constantly aware of potential failures, and maintains type safety throughout. One idea worth exploring is the concept of returning errors instead of throwing them. Let's see how this might look:
function task() {
if (condition) {
// return instead of throwing.
return new Error("failed");
}
return "value";
}
By introducing Errors as values and assigning them specific meaning, we enhance the expressivity of a task's return value, which can now represents either successful or failing outcomes. TypeScript’s type system becomes particularly effective here, typing the result as string | Error, and flagging any attempt to use the result without first checking for errors. This ensures safer code practices. Once error checks are performed, type narrowing allows us to work with the success value free from the Error type.
const result: string | Error = task();
// Handle the error.
if (result instanceof Error) {
return;
}
result;
// ?^ result: string
Managing multiple errors becomes reliable with TypeScript’s type checker, which guides the process through autocompletion and catches mistakes at compile time, ensuring a type-driven and dependable workflow.
function task() {
if (condition1) return new CustomError1();
if (condition2) return new CustomError2();
return "value";
}
// In another file...
const result = task();
if (result instanceof CustomError1) {
// Handle CustomError1.
} else if (result instanceof CustomError2) {
// Handle CustomError2.
}
And since we're just working within plain JavaScript, we can seamlessly integrate existing libraries to enhance our error handling. For example, the powerful ts-pattern library synergize beautifully with this approach:
import { match } from "ts-pattern";
match(result)
.with(P.instanceOf(CustomError1), () => {
/* Handle CustomError1 */
})
.with(P.instanceOf(CustomError2), () => {
/* Handle CustomError2 */
})
.otherwise(() => {
/* Handle success case */
});
We now face 2 types of errors: those returned by tasks adopting our convention and those thrown. As established in our guiding principles, we can't assume every function will follow our convention. This assumption is not only necessary to make our pattern useful and usable, but it also reflects the reality of JavaScript code. Even without explicit throws, runtime errors like "cannot read properties of null" can still occur unexpectedly.
Within our convention, we can classify returned errors as "expected" — these are errors we can anticipate, handle, and recover from. On the other hand, thrown errors belong to the "unexpected" category — errors we can't predict or generally recover from. These are best addressed at the highest levels of our program, primarily for logging or general awareness. Similar distinctions are built into the syntax of some other languages. For example, in Rust:
// Recoverable error.
Err("Task failed")
// Unrecoverable error.
panic!("Fatal error")
For third-party APIs whose errors we want to handle, we can wrap them in our own functions that conform to our error handling convention. This approach also gives us the opportunity to add additional context or transform the error into a more meaningful representation for our specific use case. Let's take fetch as an example, to demonstrate also how this pattern seamlessly extends to asynchronous functions:
async function $fetch(input: string, init?: RequestInit) {
try {
// Make the request.
const response = await fetch(input, init);
// Return the response if it's OK, otherwise an error.
return response.ok ? response : new ResponseError(response);
} catch (error) {
// ?^ DOMException | TypeError | SyntaxError.
// Any cause from request abortion to a network error.
return new RequestError(error);
}
}
When fetch returns a response with a non-2XX status code, it's often considered an unexpected result from the client's perspective, as it falls outside the normal flow. We can wrap such responses in a custom exception type (ResponseError), while keeping other network or parsing issues in their own type (RequestError).
const response: Response | ResponseError | RequestError = await $fetch("/api");
This is an example of how we can wrap third-party APIs to enrich the expressiveness of their error handling. This approach also allows for progressive enhancement — whether you’re incrementally refactoring existing try/catch blocks or just starting to add proper error types in a codebase that’s never even heard of try/catch. (Yes, we know you’re out there.)
Another important aspect to consider is task composition, where we need to extract the results from multiple tasks, process them, and return a new value. In case any task returns an error, we simply stop the execution and propagate it back to the caller. This kind of task composition can look like this:
function task() {
// Compute the result and exclude the error.
const result1: number | Error1 = task1();
if (result1 instanceof Error1) return result1;
// Compute the result and exclude the error.
const result2: number | Error2 = task2();
if (result2 instanceof Error2) return result2;
const result = result1 + result2;
}
The return type of the task is correctly inferred as number | Error1 | Error2, and type narrowing allow removing the Error types from the return values. It works, but it's not very concise. To address this issue, languages like Zig have a dedicated operator:
pub fn task() !void {
const value = try mayFail();
// ...
}
We can achieve something similar in TypeScript with a few simple tricks. Our goal is to create a more concise and readable way of handling errors while maintaining type safety. Let's attempt to define a similar utility function which we'll call $try, it could look something like this:
function task() {
const result1: number = $try(task1());
const result2: number = $try(task2());
return result1 + result2;
}
This code looks definitely cleaner and more straightforward. Internally, the function could be implemented like this:
function $try<T>(result: T): Exclude<T, Error> {
if (result instanceof Error) throw result;
return result;
}
The $try function takes a result of type T, checks if it's an Error, and throws it if so. Otherwise, it returns the result, with TypeScript inferring the return type as Exclude
We've gained a lot in readability and clarity, but we've lost the ability to type expected errors, moving them to the unexpected category. This isn't ideal for many scenarios.
We need a native way to collect the errors types, perform type narrowing, and terminate execution if an error occurs, but we are running short on JavaScript constructs. Fortunately, Generators can come to our rescue. Though often overlooked, they can effectively handle complex control flow problems.
With some clever coding, we can use the yield keyword to extract the return type from our tasks. yield passes control to another process that determines whether to terminate execution based on whether an error is present. We’ll refer to this functionality as $macro, as if it extends the language itself:
// ?^ result: number | Error1 | Error2
const result = $macro(function* ($try) {
const result1: number = yield* $try(task1());
const result2: number = yield* $try(task2());
return result1 + result2;
});
We'll discuss the implementation details later. For now, we've achieved our compact syntax at the cost of introducing an utility. It accepts tasks following our convention and returns a result with the same convention: this ensures the abstraction remains confined to its intended scope, preventing it from leaking into other parts of the codebase — neither in the caller nor the callee.
As it's still possible to have the "vanilla" version with if statements, paying for slightly higher verbosity, we've struck a good balance between conciseness and keeping everything with no abstraction. Moreover, we've got a potential starting point to inspire new syntax or a new part of the standard library, but that's for another post and the ECMAScript committee will have to wait for now.
Our journey could end here: we've highlighted the limitations of current error management practices in JavaScript, introduced a convention that cleanly separates expected from unexpected errors, and tied everything together with strong type definitions.
As obvious as it may seems, the real strength of this approach lies in the fact that most JavaScript functions are just a particular case of this convention, that happens to return no expected error. This makes integrating with code written without this convention in mind as intuitive and seamless as possible.
One last enhancement we can introduce is simplifying the handling of unexpected errors, which up to now still requires the use of try/catch. The key is to clearly distinguish between the task result and unexpected errors. Taking inspiration from Go's error-handling pattern, we can achieve this using a utility like:
const [result, err] = $trycatch(task);
This utility adopts a Go-style tuple approach, where the first element is the task's result, and the second contains any unexpected error. Exactly one of these values will be present, while the other will be null.
But we can take it a step further. By leveraging TypeScript's type system, we can ensure that the task's return type remains unknown until the error is explicitly checked and handled. This prevents the accidental use of the result while an error is present:
const [result, err] = $trycatch(() => "succeed!");
// ?^ result: unknown
// ?^ err: Error | null
if (err !== null) {
return;
}
result;
// ?^ result: string
Due to JavaScript's dynamic nature, any type of value can be thrown. To avoid falsy values that can create and subtle bugs when checking for the presence of an error, err will be an Error object that encapsulates the thrown values and expose them through Error.cause.
To complete out utility, we can extend it to handle asynchronous functions and promises, allowing the same pattern to be applied to asynchronous operations:
// Async functions.
const [result, err] = await $trycatch(async () => { ... });
// Or Promises.
const [result, err] = await $trycatch(new Promise(...));
That's enough for today. I hope you’ve enjoyed the journey and that this work inspires new innovations in the Javascript and Typescript ecosystem.
How to implement the code in the articles, you ask? Well, of course there's a library! Jokes aside, the code is straightforward, but the real value lies in the design and thought process behind it. The repository serves as a foundation for ongoing discussions and improvements. Feel free to contribute or share your thoughts!
See you next time — peace ✌️.
ts-zen
/
trycatch
Robust and Type-Safe Errors Management Conventions with Typescript
還沒讀過博文嗎？您可以在這裡找到它，深入了解該項目背後的設計和推理。以下是幫助您入門的快速快照：
JavaScript 的錯誤管理設計 落後於 Rust、Zig 和 Go 等現代語言。語言設計很困難，大多數提交給 ECMAScript 或 TypeScript 委員會的提案要么被拒絕，要么經歷極其緩慢的迭代過程。
該領域的大多數函式庫和用戶態解決方案都引入了屬於紅/藍函數問題的抽象，需要完整的程式碼庫採用並導致技術鎖定。
這個專案的目標是突破 JavaScript 中錯誤處理的界限，優先考慮約定而不是抽象並充分利用本機構造的潛力。我們提供了一套最小的實用程式來增強開發人員體驗，希望能夠激發未來的語言改進和...
以上是TypeScript：錯誤管理的新領域的詳細內容。更多資訊請關注PHP中文網其他相關文章！
