TypeScript and Haskell: Unions & Singletons
Summary
This article compares TypeScript's union and literal types with Haskell's data types and advanced extensions (DataKinds, GADTs, UnboxedSums) to show how each language handles precise API representations. It discusses the benefits of TypeScript for API precision, the challenges in Haskell, and the limitations of various type-level approaches, including unpacked sum types. The piece includes examples and explains why no explored solution perfectly mimics set-like unions.