Master advanced infer techniques by recreating built-in types, enhancing your development skills and deepening your understanding of TypeScript.

Infer

[00:00] Alright. Let's jump right in. So we're going to create an array element type. So type array element, it's gonna accept a type. If that type accept extends array and for u, then we're gonna do u.

[00:11] Otherwise, we wanna return never. So if it if it is not an array, then we're gonna say, no. This this case does not apply in this situation. So here we can say array element, of our numbers. We've got numbers and strings, and also we've got users and, just a regular string.

[00:28] So in this case, we're gonna, pull out number, then we'll pull out string. We'll be able to pull out the user and, in this case, we pull out never because this is not an array. K. Perfect. That's very similar to what we just did, so that should work out or hopefully was pretty straightforward.

[00:44] Now we have our promise result. This is kind of similar to awaited, but awaited does a whole lot more stuff. So if we extend a promise and we'll infer you, then we'll go with you. Otherwise, we'll go with whatever was given to us. So then coming down here, we have our promise of a string.

[01:02] We should get a string back. Get a promise of a number, we should get a number back. And a promise of a boolean that just gives us the boolean. So if that was awaited, then that would work just fine. This does work similar to awaited but not quite the same.

[01:14] So if it's a promise of a promise, then in this case, we're gonna end up with a promise of string whereas awaited, it's gonna resolve all the way down. So we're not quite there but, yeah. Using infer to, make that magic happen. So pretty cool. And now we're gonna make a function return.

[01:32] So this is the return type. Here, we're going to say if the type given extends a function so here earlier, we said just plain function, for the function type, but we want the return of that. And, where are we gonna get u? Well, we get it by inferring it. So we're going to, type it out as an array an arrow function, but our function return will work for any type of function.

[01:57] This is just the syntax to represent the type of an arrow function. So here we're gonna say it accepts any arguments, and whatever it returns is what I wanna infer. And so infer that and we'll return that. If it's not a if it doesn't extend something, that matches this type, then give us back never. And so then we can say function return on this string, we should get a string.

[02:20] On this one, we should get a boolean. And if we were to do an r three, then let's do a function return of just boolean and that should give us never. Alright. And that is some of the really fun, different types that, that you can create using infer. Of Of course, you can practice this extra at a function and play around with this a bit, but that is the basics of using some of these advanced conditional types.

[02:48] So good job.

[00:00] Alright. So now, we're gonna get into a couple more advanced things specifically with infer so that you can get some experience with that. We're gonna recreate very simple basic versions of some other built in types just so that you get familiar with how infer works. So jump right in.

You now know the basics of TypeScript. You can annotate variables, define types, and write generic functions. But the moment you need to fetch data from an API, organize code across multiple files, or build a utility type that transforms other types, the beginner patterns stop being enough.

The gap between "I can use TypeScript" and "I can use TypeScript well" comes down to the advanced features that power every serious codebase: 

- Promises and async/await for handling asynchronous operations.
- Modules for organizing code at scale.
- Utility types and conditional types for writing the kind of precise, flexible types that make libraries and frameworks feel magical to use.

In this workshop, you'll work through the advanced TypeScript features that separate everyday usage from real fluency. You'll build a deep understanding of promises and async/await, learn to structure code with modules, and master the type-level programming that powers TypeScript's most useful patterns.

Every section goes beyond syntax. You'll trace how promises chain and resolve, debug asynchronous code with real tools, and build your own utility types from scratch so the built-in ones stop feeling like magic.

## Promises

JavaScript runs on a single thread. When you make a network request, read a file, or wait for user input, you can't just stop the program and wait. Promises are how JavaScript handles this-- they represent a value that doesn't exist yet but will at some point in the future.

This section builds your mental model for how promises actually work under the hood:

- Creating promises with `new Promise` and the `resolve` callback
- Attaching `.then` handlers to process resolved values
- Chaining promises to sequence dependent asynchronous operations
- Handling errors with `.catch` and the second argument to `.then`
- Understanding the difference between catching errors on the current promise vs. the chain
- Propagating rejections with `throw` and `Promise.reject`

## Async/Await

Promises solve the problem of asynchronous code, but chaining `.then` calls creates its own kind of complexity. Async/await is syntactic sugar that lets you write asynchronous code that reads like synchronous code-- no callbacks, no indentation pyramids, just `await` and move on.

Here you'll refactor promise chains into async/await and learn how error handling maps between the two:

- Converting `.then` chains to `async`/`await` for linear, readable flow
- Understanding how `async` immediately changes a function's return type to `Promise`
- Handling errors with `try`/`catch`/`finally` instead of `.catch`
- Adding explicit `Promise<Type>` return type annotations to async functions
- Using top-level `await` in modules
- Why you can't type the rejection value of a promise

## Modules

Through this entire workshop series, you've been using `export` at the bottom of every file without formally learning what it does. Modules are how JavaScript organizes code across files-- exporting values from one file and importing them in another.

This section covers the module system you'll use in every TypeScript project:

- Exporting values with `export` at declaration or as export specifiers
- Importing named exports and aliasing with `as`
- Using `import * as` to grab everything from a module
- Default exports vs. named exports and why named exports are preferred
- Type-only imports with `import type` for cleaner compiled output
- Mixing type and value imports in a single statement

## Type Operators

You've been using `keyof`, `typeof`, and index access types throughout the workshop series because it's hard to get far in TypeScript without them. Now it's time to formalize that knowledge and go deeper into what these operators can do when combined.

In this section, you'll master the operators that bridge runtime values and the type system:

- Using `keyof` to extract a union of property names from an object type
- Pulling runtime values into the type world with `typeof`
- Combining `keyof typeof` to derive types from actual objects
- Accessing nested types with index access syntax (`User["address"]["city"]`)
- Extracting element types from arrays with `[number]` index access
- Using `as const` with type operators for precise literal unions

## Utility Types

TypeScript ships with a library of generic types that transform other types. Need to make all properties optional? `Partial`. Want only certain fields? `Pick`. These built-in utilities handle the type transformations you'd otherwise write by hand, and knowing them saves you from reinventing the wheel.

This section teaches you the most useful utility types and how to build your own:

- Making properties optional with `Partial` and required with `Required`
- Selecting subsets with `Pick` and removing properties with `Omit`
- Creating dynamic object types with `Record` and immutable ones with `Readonly`
- Filtering union types with `Exclude`, `Extract`, and `NonNullable`
- Extracting function signatures with `ReturnType`, `Parameters`, and `Awaited`
- Building custom mapped types that replicate and extend the built-in utilities

## Conditional Types

Conditional types are TypeScript's version of an `if` statement at the type level. They use the `extends` keyword to check whether a type matches a shape, then resolve to one type or another based on the result. Most developers never write them directly, but they power the utility types and library APIs you use every day.

This section takes you into the most advanced corner of TypeScript's type system:

- Writing conditional types with the `extends ? :` ternary syntax
- Checking whether a type is a string, array, or function at the type level
- Using the `infer` keyword to extract types from within other types
- Unwrapping promise types and array element types with `infer`
- Recreating built-in utilities like `ReturnType` to understand how they work


Go beyond basics by learning async/await, modules, utility types, and conditional types to write clearer, safer, and more scalable TypeScript.

Advanced TypeScript

Programming Foundations

Structured Data

Type Safety

Object Oriented TypeScript

Practical TypeScript: Foundations to Fluency

Master advanced TypeScript concepts including promises, async/await, modules, and conditional types to elevate your development skills and boost productivity.

Intro to Advanced TypeScript

Introduction to Advanced TypeScript

Master JavaScript promises to handle asynchronous operations effectively, freeing up the main thread and enhancing your web development skills.

Intro to Promises

Master JavaScript promises and asynchronous programming with hands-on exercises. Enhance your coding skills by simulating delayed function execution.

Creation

Master promise chaining to streamline asynchronous code. Discover how to effectively manage multiple operations with ease and enhance your JavaScript skills.

Chaining

Master promise rejections in web development by handling errors effectively. Gain practical skills to troubleshoot user connectivity and server issues.

Rejection

Discover effective strategies to break promises in coding, enhance your AI communication skills, and boost your learning experience in web development.

Break Promises

1. Promises

Master async/await to simplify your JavaScript code, handle promises elegantly, and enhance your asynchronous programming skills effectively.

Intro to Async/Await

Transform your promise chains into cleaner, more readable async/await syntax. Discover how to simplify your code while maintaining functionality.

Linear Flow

Master error handling in JavaScript with promises and async/await, enhancing your development skills and building robust applications.

Error Handling

Master promise types in JavaScript to enhance your asynchronous programming skills and streamline your web development projects effectively.

Promise Types

Master async/await and deepen your understanding of JavaScript promises. Quiz yourself and explore practical examples for real-world application.

Break Async/Await

2. Async/Await

Master module syntax to enhance your code organization and reusability. Discover exports, imports, and aliasing for efficient development practices.

Intro to Modules

Master module organization by efficiently importing and exporting code. Enhance your development skills and streamline your projects for better maintainability.

Import Export

Master the differences between default and named exports in JavaScript, enhancing your coding skills and making informed choices for better project structure.

Default Vs Named

Master importing and exporting types to streamline your utility libraries, enhancing your code's efficiency and organization in this hands-on exercise.

Type Only Imports

Master module retention techniques with effective note-taking and spaced repetition, plus enjoy a refreshing break to boost your learning experience.

Break Modules

3. Modules

Master TypeScript's type operators, explore key manipulation, and unlock powerful indexing techniques to enhance your development skills in this essential lesso

Intro to Type Operators

Master TypeScript's keyof and typeof operators to enhance your coding skills and streamline your development process with practical exercises.

Keyof Typeof

Master index access types to efficiently retrieve data and enhance your development skills with our in-depth exercise. Boost your coding expertise today!

Index Access

Master break type operators to enhance your coding efficiency. Take a break, recharge, and optimize your web development skills today!

Break Type Operators

4. Type Operators

Master TypeScript utility types by exploring built-in generics, creating custom types, and enhancing your coding efficiency in this engaging lesson.

Intro to Utility Types

Master TypeScript's Partial and Pick utility types to enhance your coding efficiency and streamline your projects. Dive in and elevate your skills!

Partial Pick

Explore a variety of utility types to enhance your web development skills and expand your toolkit, unlocking new possibilities for your projects.

More Utilities

Unlock powerful function utilities to enhance your coding efficiency and streamline your development process with essential utility types.

Function Utilities

Master generic types by reimplementing TypeScript utility types and creating unique functions. Enhance your skills with practical exercises and real-world appli

Creating Mapped Types

Master advanced TypeScript utility types and enhance your coding skills. Take a well-deserved break to reinforce your learning and boost productivity.

Break Utility Types

5. Utility Types

Master advanced conditional types in TypeScript using ternaries and the infer keyword to create powerful, flexible code structures for modern applications.

Intro to Conditional Types

Master TypeScript conditionals as you dive into ternary logic, enhancing your coding skills and building a strong foundation in programming.

Basic Conditionals

Master conditional types in TypeScript and enhance your coding skills. Retain knowledge effectively and boost your development confidence today!

Break Conditional Types

6. Conditional Types

Celebrate your mastery of advanced TypeScript! Discover powerful features like promises, modules, and type operators to build robust applications confidently.

Advanced TypeScript

Advanced TypeScript

Transcript

Infer

Transcript