Book Image

The TypeScript Workshop

By : Ben Grynhaus, Jordan Hudgens, Rayon Hunte, Matt Morgan, Vekoslav Stefanovski
5 (1)
Book Image

The TypeScript Workshop

5 (1)
By: Ben Grynhaus, Jordan Hudgens, Rayon Hunte, Matt Morgan, Vekoslav Stefanovski

Overview of this book

By learning TypeScript, you can start writing cleaner, more readable code that’s easier to understand and less likely to contain bugs. What’s not to like? It’s certainly an appealing prospect, but learning a new language can be challenging, and it’s not always easy to know where to begin. This book is the perfect place to start. It provides the ideal platform for JavaScript programmers to practice writing eloquent, productive TypeScript code. Unlike many theory-heavy books, The TypeScript Workshop balances clear explanations with opportunities for hands-on practice. You’ll quickly be up and running building functional websites, without having to wade through pages and pages of history and dull, dry fluff. Guided exercises clearly demonstrate how key concepts are used in the real world, and each chapter is rounded off with an activity that challenges you to apply your new knowledge in the context of a realistic scenario. Whether you’re a hobbyist eager to get cracking on your next project, or a professional developer looking to unlock your next promotion, pick up a copy and make a start! Whatever your motivation, by the end of this book, you’ll have the confidence and understanding to make it happen with TypeScript.
Table of Contents (16 chapters)
Preface

9. Generics and Conditional Types

Activity 9.01: Creating a DeepPartial<T> Type

Solution:

Let's build this type up, step by step:

  1. First, let's create a PartialPrimitive type:
    type PartialPrimitive = string | number | boolean | symbol | bigint | Function | Date;
  2. Then, let's start by defining a basic DeepPartial<T> type:
    type DeepPartial<T> = T extends PartialPrimitive ? T : Partial<T>;

    Next, we need to handle more complex structures – such as arrays, sets, and maps. These require using the infer keyword, and in addition to that, require some more "manual wiring" for each of these types.

  3. Let's start with adding handling for the Array type:
    type DeepPartial<T> =
         T extends PartialPrimitive
         ? T
         : T extends Array<infer U>
         ? Array<DeepPartial<U>>
        ...