[sapling-ginger]

All valid javascript programs are valid typescript programs, so typescript necessarily must have structural type, it cannot have nominal type without breaking compatibility with javascript, which is a hard requirement.

[RussianCow]

Correct. My comment was about programming languages in general and not specific to TypeScript. :)