Re:Why don't more languages offer flow typing?
by munificent on Monday April 04, 2022 @04:47PM
(#30911766)
> An union type is the C attempt to implement something like sum types
Sum types, unions (in the C sense), and union types are three distinct concepts.
Wikipedia's article confusingly merges the latter two concepts together but they're different thing. TypeScript[1] and Scala[2] have union types, but they have nothing like C's notion of "unsafely reuse the same bits in memory to be interpreted as different things".
Sum types, unions (in the C sense), and union types are three distinct concepts.
Wikipedia's article confusingly merges the latter two concepts together but they're different thing. TypeScript[1] and Scala[2] have union types, but they have nothing like C's notion of "unsafely reuse the same bits in memory to be interpreted as different things".
[1]: https://www.typescriptlang.org/docs/handbook/2/everyday-type...
[2]: https://dotty.epfl.ch/docs/reference/new-types/union-types.h...