Conditional & Mapped Types (Type-Level Programming)

68 lessons in TypeScript

• The infer KeywordFlashcard
• DeepReadonly Missing Base CaseCode Quiz
• Custom Pick Uses keyof KCode Quiz
• Preventing Distribution with Tuple WrappingQuiz
• Assignability of Conditional TypesQuiz
• Template Literal Types in Key RemappingSlides / Video
• Homomorphic vs Non-Homomorphic MapsSlides / Video
• Combining Mapped and Conditional TypesSlides / Video
• Value Transformation in Mapped TypesSlides / Video
• Filtering Keys via neverSlides / Video
• Mapping Modifiers with +/-Slides / Video
• Recursive Conditional TypesSlides / Video
• Multiple infer in One ConditionalSlides / Video
• Preventing Distribution with Tuple WrappingSlides / Video
• Nested and Chained Conditional TypesSlides / Video
• Deep Recursive Mapped TypesSlides / Video
• Recursive Conditional Types for Deep TransformsQuiz
• Multiple and Nested infer PositionsQuiz
• Inferring Within ConstraintsQuiz
• Nested and Chained Conditional TypesQuiz
• Filtering Keys with never in RemappingQuiz
• Key Remapping with Template LiteralsQuiz
• Mapping Over Unions vs Object TypesQuiz
• Recursion Depth LimitsQuiz
• Template Literal Inference with inferQuiz
• Type-Level String UtilitiesQuiz
• Deferred Conditional Type ResolutionQuiz
• never in Conditional and Mapped TypesQuiz
• Per-Property Conditional ValuesQuiz
• Type-Level Accumulator with TuplesQuiz
• Distribution with boolean and neverQuiz
• Booleanize String PropertiesCode Quiz
• ReturnType Infers The ArgsCode Quiz
• Awaited Skips Nested PromisesCode Quiz
• Getter Keys Not CapitalizedCode Quiz
• Constrained infer SyntaxCode Quiz
• Nullable Uses Whole TypeCode Quiz
• IsNever Fails on neverCode Quiz
• Unreachable Array BranchCode Quiz
• Filter Keeps Wrong MembersCode Quiz
• Reused infer NameCode Quiz
• Partial Strips readonlyCode Quiz
• Key Filter BackwardsCode Quiz
• Variadic Tuple TypesFlashcard
• Indexed Access TypesFlashcard
• Recursive Mapped TypesFlashcard
• Inference in Template LiteralsFlashcard
• Recursive Conditional TypesFlashcard
• Template Literal TypesFlashcard
• Homomorphic Mapped TypesFlashcard
• Optional Modifier in Mapped TypesFlashcard
• Iterating Keys with keyofFlashcard
• Key Remapping with asFlashcard
• Distributive Conditional TypesFlashcard
• Deferred Conditional ResolutionFlashcard
• Template Literals in Key RemappingFlashcard
• Combining Conditional and Mapped TypesFlashcard
• Filtering Keys with neverFlashcard
• Mapped Type SyntaxFlashcard
• Tuple Manipulation with inferFlashcard
• Nested Conditional TypesFlashcard
• Recursion Depth LimitsFlashcard
• readonly Modifier in Mapped TypesFlashcard
• Union Keys vs keyof TFlashcard
• Preventing DistributionFlashcard
• Conditional Type SyntaxFlashcard
• Lookup with Unions of KeysFlashcard
• Type-Level Equality ChecksFlashcard