> There is no other programming language that has union types as powerful as TypeScript Ada's record [0] type stands out. From what I can see, TS' unions are n

> There is no other programming language that has union types as powerful as TypeScript Ada's record [0] type stands out. From what I can see, TS' unions are not nearly as powerful. [0] https://en.m.wikibooks.org/wiki/Ada_Programming/Types/record https://en.m.wikibooks.org/wiki/Ada_Programming/Types/record