Advanced-Types on Dev & Platform Engineering Hub

TS Ep 55: Advanced Function Composition

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

How do you type a pipe() function that takes an infinite number of functions, where the output of function A must perfectly match the input of function B? Welcome to the final boss of TypeScript.

TS Ep 54: The Builder Pattern with Generics

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

Learn how to build chainable APIs that accumulate type knowledge at every step. This Generic Accumulator pattern is the secret engine powering libraries like tRPC, Zod, and Prisma, providing unparalleled autocomplete.

TS Ep 53: Branding and Flavoring (Nominal Typing)

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

TypeScript doesn’t care if two types have different names; if they share the same shape, they are equivalent. Learn how to use Branding and Flavoring to force the compiler to differentiate between an OrderID string and a UserID string, powering Domain-Driven Design.

TS Ep 52: Variance (Covariance vs Contravariance)

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

Why is it safe to return a subclass instead of a superclass, but dangerous to accept a superclass parameter instead of a subclass? Welcome to Variance: the computer science underpinning of TypeScript’s assignability engine.

TS Ep 51: Type-Level State Machines

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

Use mapped types and generics to enforce finite state transitions in the compiler. A type-level state machine makes impossible states impossible to represent, eliminating entire classes of runtime bugs.

TS Ep 50: DeepReadonly and DeepPartial

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

The built-in Partial and Readonly utilities are shallow. Learn how to write your own DeepReadonly and DeepPartial utilities that penetrate every layer of nested objects by combining Generics, Conditionals, infer, Mapped Types, and Recursion simultaneously.

TS Ep 48: String Manipulation Utilities

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

TypeScript provides four built-in Intrinsic utilities that manipulate the casing of string literal types at compile time. Learn how to pair them with template literals and mapped types to dynamically generate robust event handler mappings.

TS Ep 47: Template Literal Types

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

Template literal types allow you to use JavaScript-style template strings (${...}) inside Type Space. Learn how to generate combinations of string literals automatically via Union Permutation, and parse delimited strings (like emails or URLs) using the infer keyword.

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 43: Preventing Distribution (Tuples)

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

Sometimes, you want a conditional type to evaluate an entire Union as a single monolithic entity, rather than mapping over its individual members. Learn how wrapping generic parameters in brackets [T] prevents distribution, and how to use this mechanic to build complex IsUnion checks.

TS Ep 41: Conditional Types (The Basics)

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

Conditional types are the if-else statements of Type Space. Learn how to use the ’extends ? :’ syntax to compute dynamic types based on assignability logic, replace complex function overloads, and construct nested else-if type chains.