Perhaps they mean anonymous (discriminated) unions of some kind with that syntax?
Re:The Python Paradox
by consilient on Friday January 27, 2023 @08:04AM
(#34545517)
ADTs = discriminated unions + tuples. They likely mean undiscriminated unions, as in typescript.
But since rust is compiled, in practice that would be like C unions, right? A pain to work with
I mean typescript has those because the underlying runtime is Javascript, which tracks the types of stuff and handles some kind of polymorphism, so you can get away with undiscriminated unions because the runtime is doing the job of discriminating them
Rust has ADTs, so I'm not sure what you're saying here. Can you expand on how you think unions would make code nicer than disjoint unions? They definitely make generics much harder to think about for me.