Typed Errors in TypeScript: The Options, the Tradeoffs, and the Missing Middle

When a function throws, the error channel disappears from the type system. The caller gets unknown in a catch block. There's no equivalent to Java's throws clause. No way for the compiler to say: Thi