Conditional & Mapped Types (Type-Level Programming)

68 lessons in TypeScript

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