3 ms·
ADTs = discriminated unions + tuples. They likely mean undiscriminated unions, as in typescript.
by consilient 4y ago
ADTs = discriminated unions + tuples. They likely mean undiscriminated unions, as in typescript.
- nephanth 4y agoBut 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