Infer on Dev & Platform Engineering Hub

TS Ep 49: Recursive Types

Sun, 09 Aug 2026 13:15:00 +0000

How do you type a JSON object? A JSON object can contain arrays of objects, which can contain arrays of objects, infinitely down. You cannot hardcode this depth. You need a Recursive Type.

TS Ep 46: Inferring Tuples and Arrays

Sun, 09 Aug 2026 13:00:00 +0000

Pattern matching with infer isn’t just for Promises and Objects. You can deconstruct Tuples and Arrays element by element in Type Space, mirroring the exact syntax of JavaScript’s array destructuring and spread operators.

TS Ep 45: Inferring Promises (`Awaited`)

Sun, 09 Aug 2026 12:55:00 +0000

Learn how the built-in Awaited<T> utility models the runtime await keyword. We explore how to combine the infer keyword with Recursive Type Aliases to drill down and unwrap Promises infinitely deep, and how to compose it with ReturnType for async functions.

TS Ep 44: The `infer` Keyword (Pattern Matching)

Sun, 09 Aug 2026 12:50:00 +0000

If conditional types are the if-else statements of Type Space, the infer keyword is the variable declaration (let x = ...). Learn how to extract types dynamically via pattern matching, rebuild ReturnType, and parse Template Literal Strings at compile time.

TS Ep 37: Built-in Utility Types (`ReturnType` & `Parameters`)

Sun, 09 Aug 2026 12:15:00 +0000

An in-depth guide to ReturnType<T> and Parameters<T>. Learn how to reverse-engineer third-party library functions, the requirement of typeof, tuple indexing to extract specific arguments, and the underlying infer keyword mechanics powering these utilities.