3 ms·
This is by design, and rather well explained in the typescript documentation: the type system is based on structural subtyping, which seems like a good tradeoff
by invaliduser 7y ago
This is by design, and rather well explained in the typescript documentation: the type system is based on structural subtyping, which seems like a good tradeoff to me (but of course, as any design choice, not everyone should agree, and it's fine).
- yawaramin 7y agoStructural subtyping doesn't imply lack of soundness, OCaml object types have structural subtyping too and OCaml is sound.