Hyper-Typing

In this article, I talk about an inherent trade-off in TypeScript's type system: stricter types are safer, but often more complex. I describe a phenomenon I call "hyper-typing", where libraries - in pursuit of perfect type safety - end up with overly complex types that are hard-to-understand, produce cryptic errors, and paradoxically even lead to unsafe workarounds. I argue that simpler types, or even type generation, often lead to a more practical and enjoyable developer experience despite being less "perfect".

pscanf.com