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

Basic Conditionals

[00:00] Alright. Did you have a good time? Let's go through it together. So we're gonna make a is string type right here. This is going to accept a type.

[00:07] It's a generic and if that type extends string. So if it matches the type string, then our type is going to be assigned to true or or rather this type evaluation will evaluate to true. Otherwise, it will evaluate to false, and then that gets assigned to our is string type. So if we uncomment, whoops. There we go.

[00:26] Uncomment both of these lines, you pass string or you pass number, you're gonna get true and false as you might expect. Let's do is array next. So here oh, spoiler alert. We're gonna just say any. We'll we'll get to that in a bit.

[00:39] So same sort of thing, if it extends an array, and it can have any value in that array, that's fine. That's gonna be true or false. And here, if we bring back our is array, it's is array array of strings. That's gonna give us true. If we're just passing it a string, then that gives us false.

[00:58] And this can, be anything. So here's Boolean, still gonna be true. So we didn't explicitly say what type of array we care about. You could say, like an array or u, t u v c. I don't like these single file name, but the agent just keeps on doing single letters.

[01:15] And so what am I gonna do? So here we could say, u would be the, array type, the type in question. Okay. Maybe I know why they do single letters for this stuff. So we'll do u and then pass u right here.

[01:32] And so now it's this this is going to require a second argument for this generic. And we say, is this an array of booleans? And then is this an array of strings? And in this case, no, it's not. It's not an array at all.

[01:48] And then you the AI kinda helped with this. You could say default this to any and now you don't have to provide this and we've just made our is array more powerful because we can be explicit and say, it can be an array of anything or is this an array of numbers? And that is going to evaluate to false. And then you can use that for other things. So this could be part of another expression and ternary thing.

[02:12] It's it's wild how deep this stuff can go. Okay. Let's continue. Let's make an is function. So if the incoming type is, a function, then we'll get true or false.

[02:22] Okay. Great. And you can, imagine what that would be. Just make a function type of that or, yeah. Type of that function and boom.

[02:30] Bob's your uncle. Okay. So flatten is where things get kind of interesting here. So if t is an array, then we're gonna return the element type. Otherwise, we'll return the type that's given to us.

[02:41] So in this case, oh, That's funny. We'll we'll talk about infer instead here in just a yeah. Here. It's trying to auto complete infer infer. But let's get we'll get to that in a second.

[02:50] So we're gonna take the type. If that type is an array of the given type or an array of anything, then we're going to, pass u. Now that's interesting. Let's let's actually let's try this out. So, u or we're gonna pass the t.

[03:05] So here, this is an array, so we're gonna get back any. But, no, what I want is to get back string. Right? That's that's what we're trying to or, flatten or unwrap this type. We want to get what the, the value of the array is, if it's there.

[03:21] T six is fine because it's a number. This doesn't end up being an array, so we just end up in, the alternate and we're in a good spot. Now the agent is helping us fix this, so let's hit tab. We no longer are going to accept a second argument and instead, oh oh, back it up, back it up, back it up. Let's just try that second argument just for the fun of it.

[03:40] So string and here, now we're gonna get string. If I put boolean, then we're not going to get that. We're gonna get back that string array. So I don't wanna have to put that. So how do we avoid it while still not having to do this anything?

[03:53] We are going to infer u. And so whatever, it's an array of something, I don't know what it is, but I'm gonna assign that thing to this u type, and then I'm gonna return that, from this expression. I'm not actually returning it. They're just gonna that's the result of this expression, for the type, and that solves our problem. So infer is pretty powerful.

[04:17] It's pretty cool. You can feel free to, practice this and and throw this in a couple different functions and everything if if, you would like to. But that is the basics of, these conditional types. Pretty cool stuff. Extends is pretty wild.

[00:00] Alright. Let's get you into basic conditionals so you get familiar with the ternary ish nature of the TypeScript types and conditionals. It's pretty cool and if you don't like ternaries, then I'm afraid you're not going to like this very much. But let's jump into it. We'll see you in this exercise.

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 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

Basic Conditionals

Transcript