Language Internals
Structural typing, generics, type inference, discriminated unions, the type-checker's mental model.
Why we need this / what value this brings
TypeScript's structural (not nominal) type system is the single biggest mental-model shift coming from other typed languages.
When to use this
Designing any shared type or generic utility — think structurally, not by declared class hierarchy.
How to use or implement this
Practice with discriminated unions and generics until inference 'just works' without excessive annotation.
Research questions
- (add as research surfaces open questions)
Empty folder — drop notes, links, and findings here as you research.