Effective TypeScript Book Cover

TypeScript is a typed superset of JavaScript with the potential to solve many of the headaches for which JavaScript is famous. But TypeScript has a learning curve of its own, and understanding how to use it effectively can take time.

Effective TypeScript guides you through 62 specific ways to improve your use of TypeScript, following the format popularized by Effective C++ and Effective Java. You’ll advance from a beginning or intermediate user familiar with the basics to an advanced user who knows how to use the language well.

Already have the Book? Visit the GitHub project to see all of the code snippets from the book in one place. You can also report any errors you've found.

If you're interested in a TypeScript book talk at your company, please reach out via Twitter or email.

Buy the Book Buy the eBook

Praise for Effective TypeScript

Effective TypeScript explores the most common questions we see when working with TypeScript and provides practical, results-oriented advice. Regardless of your level of TypeScript experience, you can learn something from this book.

Ryan Cavanaugh, Engineering Lead for TypeScript at Microsoft

This book is packed with practical recipes and must be kept on the desk of every TypeScript eveloper. Even if you think you know TypeScript already, get this book and you won't regret it.

Yakov Fain, Java Champion

I have been working with TypeScript for two years, and with Flow for five. And it happens that I provided technical feedback for this book. It was a joy read. The items in the book provide specific, actionable advice that will help to deepen your understanding of TypeScript, and Dan's explanations are clear and concise. There is a lot of useful information, but my favorite part is Chapter 4, Type Design. Even as an experienced hotshot I learned a number of new things. And the advice sticks with me in my day-to-day work. For example I make an effort to apply types to entire function expressions, and in some cases I do so by using specialized React event handler types that this book pointed me to. Plus Dan convinced me to switch my @type dependencies to devDependencies.

Jesse Hallett, Senior Software Engineer, Originate, Inc.

The book hit me in exactly the right spot. I'm an experienced developer and I've worked with JS on and off for many years, but my structured TS education is limited to the official tutorial. I was able to figure out most of it along the way (TS is intuitive if you have good JS knowledge and realize how it works, Google and SO helped a lot too), but this approach also left me with a lot of gaps in my knowledge, many of which I don't even realize I have. This book excels at plugging such gaps.

Now I have to go and refactor some of my code in the light of what I've learned.

Matěj Zábský

Read more reviews on Goodreads and Amazon.

Recent Blog Posts

See All Posts.

Exclusive Or and the Optional never Trick

This post looks at how TypeScript's type union operator (| aka "pipe" or "or") is really an inclusive or, and how this can come as a surprise. It presents a few options for getting an exclusive or if that's what you want, including the "optional never" trick. Continue reading »

In defense of interface: Using declaration merging to disable "bad parts"

TypeScript's interface has gotten a bit of a bad rap lately, largely because of declaration merging, a behavior of interface that's quite surprising when you first see it. This post explains what declaration merging is, why it is, and how you can use it to iron out some of JavaScript's and TypeScript's wrinkles in your own projects.

Continue reading »

The Seven Sources of Unsoundness in TypeScript

Hang out on the internet much and you'll hear gripes about how TypeScript isn't "sound," and that this makes it a poor choice of language. In this post, I'll explain what this means and walk through the sources of unsoundness in TypeScript. Rest assured, TypeScript is a great language and it's never a good idea to listen to people on the internet!

Continue reading »

The trouble with Jsonify: Unify types instead of modeling small differences

Last year I wrote about Jsonify, a generic that models how a type changes as it goes through JSON serialization and deserialization. Since then I've learned two important things: 1) I didn't come up with Jsonify and 2) It's a bad idea! Continue reading »

Advent of Code 2020, this time in Rust

There's been lots of interest in Rust in the JavaScript and TypeScript community over the past few years, both because it can target WebAssembly and because deno is written in Rust.

Last year I decided to learn Rust by doing the Advent of Code in it: two puzzles every day of December leading up to Christmas. I had a great time and learned a lot about Rust, and I'd highly recommend this as a way to learn a language.

Since this is a bit off-topic for the Effective TypeScript blog, I posted my writeup on Medium. If you're interested in Rust, check it out: Advent of Code 2020 (this time in Rust).

TL;DR: Rust is an interesting language that works great for a specific niche, but it's a bit annoying to work with and I wouldn't choose to use it unless I was working in its niche. Also, this year's Advent of Code was too easy!

Four words to avoid in TypeScript writing

I've written many words about TypeScript and I'm sure I've read even more. Here are four words that make me cringe every time I see them. If you write about TypeScript, please steer clear of these!

Continue reading »

Generic Tips Part 3: Avoid Repeating Type Expressions

This is part of an ongoing series on tips I learned for working with TypeScript generics from building the crosswalk library. Check out part 1 for more background.

Recently there's been some chatter online about how you should use long names for generic types (i.e. longer than just T). I'd generalize all this a bit to say:

Just because you're writing generics, don't forget everything you've learned about programming!

So yes, give long-lived variables meaningful names. But also avoid repeating yourself by factoring out common expressions.

This post presents a few patterns for reducing repetition in generics. None of them are perfect, but they're worth learning because they're usually better than repeating yourself!

Continue reading »

Top Posts of 2020

I started the Effective TypeScript blog on March 6, 2020. It was my fourth day staying home from work with a lingering illness. I had no idea that ten months later, I'd still be working remotely. It's been quite a year.

I wrote 17 blog posts in 2020, very close to my goal of a post every two weeks. Here were the most popular:

Continue reading »

Generic Tips Part 2: Intersect what you have with whatever TypeScript wants

When you're working with generic types and run into a seemingly unavoidable error, there's a trick that can often make it go away: intersect what you have with whatever TypeScript wants it to be. Your errors will melt away! Read on for examples and caveats. Continue reading »

Generic Tips Part 1: Use Classes and Currying to create new inference sites

This series will present a few tips and tricks for working with TypeScript generics that I've picked up over the past year. This post looks at how you can use classes and currying to combine explicit type parameters and type inference. Continue reading »

Older Posts

For new TypeScript content every ~3 weeks, including new examples, sample items, videos and book updates, choose one of these ways to stay in touch:

Subscribe to the Newsletter Follow @danvdk RSS

Table of Contents

In an Effective-style book, the title of each item is a specific piece of advice. This means that the Table of Contents forms a summary of all the advice in the book. If any item piques your curiosity and you want to learn more, order a copy.

Chapter 1: Getting to Know TypeScript

Before we dive into the details, this chapter helps you understand the big picture of TypeScript. What is it and how should you think about it? How does it relate to JavaScript? Are its types nullable or are they not? What's this about any? And ducks?

  1. Understand the Relationship Between TypeScript and JavaScript
  2. Know Which TypeScript Options You’re Using
  3. Understand That Code Generation Is Independent of Types
  4. Get Comfortable with Structural Typing
  5. Limit Use of the any Type

Chapter 2: TypeScript’s Type System

This chapter walks you through the nuts and bolts of TypeScript's type system: how to think about it, how to use it, choices you'll need to make, and features you should avoid. TypeScript's type system is surprisingly powerful and able to express things you might not expect a type system to be able to. The items in this chapter will give you a solid foundation to build upon as you write TypeScript and read the rest of this book.

  1. Use Your Editor to Interrogate and Explore the Type System
  2. Think of Types as Sets of Values
  3. Know How to Tell Whether a Symbol Is in the Type Space or Value Space
  4. Prefer Type Declarations to Type Assertions
  5. Avoid Object Wrapper Types (String, Number, Boolean, Symbol, BigInt)
  6. Recognize the Limits of Excess Property Checking
  7. Apply Types to Entire Function Expressions When Possible
  8. Know the Differences Between type and interface
  9. Use Type Operations and Generics to Avoid Repeating Yourself
  10. Use Index Signatures for Dynamic Data
  11. Prefer Arrays, Tuples, and ArrayLike to number Index Signatures
  12. Use readonly to Avoid Errors Associated with Mutation
  13. Use Mapped Types to Keep Values in Sync

Chapter 3: Type Inference

This chapter shows you some of the problems that can arise with type inference and how to fix them. After reading it, you should have a good understanding of how TypeScript infers types, when you still need to write type declarations, and when it's a good idea to write type declarations even when a type can be inferred.

  1. Avoid Cluttering Your Code with Inferable Types
  2. Use Different Variables for Different Types
  3. Understand Type Widening
  4. Understand Type Narrowing
  5. Create Objects All at Once
  6. Be Consistent in Your Use of Aliases
  7. Use async Functions Instead of Callbacks for Asynchronous Code
  8. Understand How Context Is Used in Type Inference
  9. Use Functional Constructs and Libraries to Help Types Flow

Chapter 4: Type Design

Code is difficult to understand if you can't see the data or data types on which it operates. This is one of the great advantages of a type system: by writing out types, you make them visible to readers of your code. And this makes your code understandable. Other chapters cover the nuts and bolts of TypeScript types: using them, inferring them, and writing declarations with them. This chapter discusses the design of the types themselves. The examples in this chapter are all written with TypeScript in mind, but most of the ideas are more broadly applicable.

  1. Prefer Types That Always Represent Valid States
  2. Be Liberal in What You Accept and Strict in What You Produce
  3. Don’t Repeat Type Information in Documentation
  4. Push Null Values to the Perimeter of Your Types
  5. Prefer Unions of Interfaces to Interfaces of Unions
  6. Prefer More Precise Alternatives to String Types
  7. Prefer Incomplete Types to Inaccurate Types
  8. Generate Types from APIs and Specs, Not Data
  9. Name Types Using the Language of Your Problem Domain
  10. Consider “Brands” for Nominal Typing

Chapter 5: Working with any

Type systems were traditionally binary affairs: either a language had a fully static type system or a fully dynamic one. TypeScript blurs the line, because its type system is optional and gradual. You can add types to parts of your program but not others. This is essential for migrating existing JavaScript codebases to TypeScript bit by bit. Key to this is the any type, which effectively disables type checking for parts of your code. It is both powerful and prone to abuse. Learning to use any wisely is essential for writing effective TypeScript. This chapter walks you through how to limit the downsides of any while still retaining its benefits.

  1. Use the Narrowest Possible Scope for any Types
  2. Prefer More Precise Variants of any to Plain any
  3. Hide Unsafe Type Assertions in Well-Typed Functions
  4. Understand Evolving any
  5. Use unknown Instead of any for Values with an Unknown Type
  6. Prefer Type-Safe Approaches to Monkey Patching
  7. Track Your Type Coverage to Prevent Regressions in Type Safety

Chapter 6: Types Declarations and @types

Dependency management can be confusing in any language, and TypeScript is no exception. This chapter will help you build a mental model for how dependencies work in TypeScript and show you how to work through some of the issues that can come up with them. It will also help you craft your own type declaration files to publish and share with others. By writing great type declarations, you can help not just your own project but the entire TypeScript community.

  1. Put TypeScript and @types in devDependencies
  2. Understand the Three Versions Involved in Type Declarations
  3. Export All Types That Appear in Public APIs
  4. Use TSDoc for API Comments
  5. Provide a Type for this in Callbacks
  6. Prefer Conditional Types to Overloaded Declarations
  7. Mirror Types to Sever Dependencies
  8. Be Aware of the Pitfalls of Testing Types

Chapter 7: Writing and Running Your Code

This chapter is a bit of a grab bag: it covers some issues that come up in writing code (not types) as well as issues you may run into when you run your code.

  1. Prefer ECMAScript Features to TypeScript Features
  2. Know How to Iterate Over Objects
  3. Understand the DOM hierarchy
  4. Don’t Rely on Private to Hide Information
  5. Use Source Maps to Debug TypeScript

Chapter 8. Migrating to TypeScript

You've heard that TypeScript is great. You also know from painful experience that maintaining your 15-year-old, 100,000-line JavaScript library isn't. If only it could become a TypeScript library! This chapter offers some advice about migrating your JavaScript project to TypeScript without losing your sanity and abandoning the effort.

  1. Write Modern JavaScript
  2. Use @ts-check and JSDoc to Experiment with TypeScript
  3. Use allowJs to Mix TypeScript and JavaScript
  4. Convert Module by Module Up Your Dependency Graph
  5. Don’t Consider Migration Complete Until You Enable noImplicitAny

About the Author

Dan Vanderkam

Dan Vanderkam is a principal software engineer at Sidewalk Labs, where he's built engineering teams and processes for all of its products and spinouts, all of which use TypeScript. He previously worked on open source genome visualizations at Mt. Sinai's Icahn School of Medicine and on Google search features used by billions of people (search for sunset nyc or population of france). He has a long history of working on open source projects, including the popular dygraphs library and source-map-explorer, a tool for visualizing JavaScript code size. He is also a co-founder of the NYC TypeScript Meetup.

When he's not programming, Dan enjoys climbing rocks and playing bridge. He writes on Medium and at danvk.org. He earned his bachelor's in computer science from Rice University in Houston, Texas, and lives in Brooklyn, New York.

Follow @danvdk Visit danvk.org