Types Arrays Enums Generics Intersection Type Literal Types Mapped Type Never Type Primitive Types Recursive Conditional Types Tuple Type Union Type Objects Classes Inline Type Annotation Interfaces Functions Functions Declarations Ambient Declarations lib.d.ts Syntax Callable Discriminated Union Index Signatures Readonly Type Alias Type Assertion Type Guard Clauses as Keywords in Configuration Flags Books TypeScript Deep Dive Style Guide Changes 4.0 4.1