1. Basics
   • Static type-checking
   • Non-exception Failures
   • Types for Tooling
   • tsc, the TypeScript compiler
   • Emitting with Errors
   • Explicit Types
   • Erased Types
   • Downleveling
   • Strictness
   • noImplicitAny
   • strictNullChecks
2. Everyday Types
   • Primitives string, number, and boolean
   • Arrays
   • any
   • noImplicitAny
   • Type Annotations on Variables
   • Functions
   • Parameter Type Annotations
   • Return Type Annotations
   • Function Expressions
   • Object Types
   • Optional Properties
   • Union Types
   • Defining a Union Type
   • Working with Union Types
   • Type Aliases
   • Interfaces
   • Differences Between Type Aliases and Interfaces
   • Type Assertions
   • Literal Types
   • Literal Inference
   • null and undefined
   • strictNullChecks off
   • strictNullChecks on
   • Non-null Assertion Operator (Postfix !)
3. Type Declarations
   • What Do Type Declarations Look Like?
   • .d.ts files
   • Built-in Type Definitions
   • target setting
   • lib setting
   • External Definitions
   • Bundled Types
   • DefinitelyTyped / @types
   • Your Own Definitions
4. Narrowing
   • typeof type guards
   • Equality narrowing
   • instanceof narrowing
   • Assignments
   • Control flow analysis
5. More on Functions
   • Function Type Expressions
   • Call Signatures
   • Construct Signatures
   • Generic Functions
   • Inference
   • Constraints
   • Working with Constrained Values
   • Specifying Type Arguments
   • Guidelines for Writing Good Generic Functions
   • Push Type Parameters Down
   • Use Fewer Type Parameters
   • Type Parameters Should Appear Twice
   • Optional Parameters
   • Optional Parameters in Callbacks
   • Function Overloads
   • Overload Signatures and the Implementation Signature
   • Writing Good Overloads
   • Other Types to Know About
   • void
   • object
   • unknown
   • never
   • Function
   • Rest Parameters and Arguments
   • Rest Parameters
   • Rest Arguments
   • Parameter Destructuring
   • Assignability of Functions
6. Types from Extraction
   • The typeof type operator
   • Limitations
   • The keyof type operator
   • Indexed Access Types
7. Types from Transformation
   • Conditional Types
   • Conditional Type Constraints
   • Inferring Within Conditional Types
   • Distributive Conditional Types
8. Classes
   • Class Members
   • Fields
   • --strictPropertyInitialization
   • readonly
   • Constructors
   • Super Calls
   • Methods
   • Getters / Setters
   • Index Signatures
   • Class Heritage
   • implements Clauses
   • Cautions
   • extends Clauses
   • Overriding Methods
   • Initialization Order
   • Inheriting Built-in Types
   • Member Visibility
   • public
   • protected
   • Exposure of protected members
   • Cross-hierarchy protected access
   • private
   • Cross-instance private access
   • Caveats
   • Static Members
   • Special Static Names
   • Why No Static Classes?
   • Generic Classes
   • Type Parameters in Static Members
   • this at Runtime in Classes
   • Arrow Functions
   • this parameters
   • this Types
   • Parameter Properties
   • Class Expressions
   • abstract Classes and Members
   • Abstract Construct Signatures
   • Relationships Between Classes