An Introduction to dtslint
summary
dtslint checks exact hover-string types by special comments like $ExpectType and $ExpectError and flags mismatches (including unexpected any). It runs over DefinitelyTyped, finds that only a minority of ~6k packages have assertions but the count is rising, and that many previous lodash issues now type correctly. It reports failures (union order can produce false positives) and supports multiple expected alternatives, making it practical for package and book examples.
AI-written summary · about
chapters (13)
- 0:00Intro
- 2:30Type Safety
- 6:16High Quality
- 8:23Type Declarations
- 13:08Subsets
- 13:34Conditional Types
- 15:00Any Types
- 16:33Testing Type Declarations
- 17:48Expect Type
- 19:51Effective Typescript
- 21:19Expected Type
- 22:51literate TS
- 24:35Questions
