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

Promise Types

[00:00] Alright. Let's jump into this. So we wanna add an explicit return type annotation to these async functions for fetching a user. So I'm gonna add promise user. So this function is gonna return a promise.

[00:11] And interestingly, anytime you have an async on here, your return type, if you specify it, always has to be a promise. Async is always gonna be a promise. And so whether it's inferred or you explicitly type it, it's always gonna be a promise. Just keep that in mind. If you ever are, like, calling a function and then you go to that function, you add async to it, you're gonna have to go back to wherever you're calling it and handle that promise.

[00:37] It's yeah. That's just the way that it is. So here we've got, this is explicitly going to, return a user. You'll notice here we are using the promise generic for that user. If you don't, then it actually works out anyway because we are being, we're being explicit about what is being returned and this happens to match user.

[01:01] If I, take off Alice, then we're saying, hey, hey, that resolve is supposed to resolve to a user. You'd have the same thing, here if we didn't have a return value because we're saying, hey. This promise has got to return a a user, then we've got to make sure that this resolve is being called with that user. So, anyway, let's get that back to the state we want. There we go.

[01:24] And then we can come down here. You could, also add a explicit return to this as well, and then you could remove that one. Whatever however you want it to be. But if you, go through this, then you'll see user is, correctly typed as a user. Products is gonna be correctly typed as an array of products.

[01:44] We can console log these if we want and load the data and ta da. There it is. So, the goal here was just to have you explore return value versus using the promise generic. Hopefully, that was interesting and fun, and now you know how to handle all of that. The one other thing I should mention actually is you might think, well, how do I type the reject?

[02:06] What if I need to, say yeah. Here. We'll do math random. There we go. Resolve reject.

[02:12] Awesome. Well, the thing is you can't actually type the reject. So we could say, user and you might think, okay. Well, error. Yeah.

[02:20] Sure. But that is not allowed. The promise generic only supports one argument and the reason for that is that it's actually impossible to type an error. Errors can happen for all sorts of reasons and you really just don't know. So if we were to handle a, catch error right here, then let's take a look at the type of the error.

[02:41] And here it is typed as any. I'm gonna guess that it actually is for, historical reasons. I would want to type this as unknown. And the reason for that is because you want to verify that this is what it says it is. If you don't remember any versus unknown, go back to that workshop where we talk about that.

[03:00] It's an important concept. All my errors, you want those to be typed as unknown. So that you handle them properly. Because you really just don't ever know what what type is this error because errors can be thrown for any number of reasons and even if we're explicitly rejecting right here and we know, oh, this is gonna be an error. It could You can actually throw or reject just a string or you could, throw, throw yeah.

[03:28] Throw a string this way too. You like you can do all kinds of things. Errors or errors be flying. And so, yeah, you don't want to or you cannot type an error in any context, at least, from the, like, print the platform APIs. You could make your own utilities and explicitly, return, like, here's the here's the value and here's the error if there was an error like and you could type those if you want to.

[03:55] But as far as try catch is concerned, yeah, you can't type those. Alright. Good job on this one.

[00:00] Alright. We've seen some promise, or generic use in promises, so far, but we haven't explicitly talked about it. So I wanna explicitly talk about it in this exercise. Let's jump into it, and we'll see you when you're done.

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 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 advanced infer techniques by recreating built-in types, enhancing your development skills and deepening your understanding of TypeScript.

Infer

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

Promise Types

Transcript