book

Effective TypeScript, 2nd Edition

by Dan Vanderkam

April 2024

Beginner to intermediate

404 pages

10h 6m

English

O'Reilly Media, Inc.

Read now

Unlock full access

Includes

Has Sandbox

Who This Book Is ForWhy I Wrote This BookHow This Book Is OrganizedConventions in TypeScript Code SamplesTypographical Conventions Used in This BookUsing Code ExamplesO’Reilly Online LearningHow to Contact UsAcknowledgments
Acknowledgments to the First Edition
Item 1: Understand the Relationship Between TypeScript and JavaScriptItem 2: Know Which TypeScript Options You’re UsingItem 3: Understand That Code Generation Is Independent of TypesItem 4: Get Comfortable with Structural TypingItem 5: Limit Use of the any Type
Item 6: Use Your Editor to Interrogate and Explore the Type SystemItem 7: Think of Types as Sets of ValuesItem 8: Know How to Tell Whether a Symbol Is in the Type Space or Value SpaceItem 9: Prefer Type Annotations to Type AssertionsItem 10: Avoid Object Wrapper Types (String, Number, Boolean, Symbol, BigInt)Item 11: Distinguish Excess Property Checking from Type CheckingItem 12: Apply Types to Entire Function Expressions When PossibleItem 13: Know the Differences Between type and interfaceItem 14: Use readonly to Avoid Errors Associated with MutationItem 15: Use Type Operations and Generic Types to Avoid Repeating YourselfItem 16: Prefer More Precise Alternatives to Index SignaturesItem 17: Avoid Numeric Index Signatures
Item 18: Avoid Cluttering Your Code with Inferable TypesItem 19: Use Different Variables for Different TypesItem 20: Understand How a Variable Gets Its TypeItem 21: Create Objects All at OnceItem 22: Understand Type NarrowingItem 23: Be Consistent in Your Use of AliasesItem 24: Understand How Context Is Used in Type InferenceItem 25: Understand Evolving TypesItem 26: Use Functional Constructs and Libraries to Help Types FlowItem 27: Use async Functions Instead of Callbacks to Improve Type FlowItem 28: Use Classes and Currying to Create New Inference Sites
Item 29: Prefer Types That Always Represent Valid StatesItem 30: Be Liberal in What You Accept and Strict in What You ProduceItem 31: Don’t Repeat Type Information in DocumentationItem 32: Avoid Including null or undefined in Type AliasesItem 33: Push Null Values to the Perimeter of Your TypesItem 34: Prefer Unions of Interfaces to Interfaces with UnionsItem 35: Prefer More Precise Alternatives to String TypesItem 36: Use a Distinct Type for Special ValuesItem 37: Limit the Use of Optional PropertiesItem 38: Avoid Repeated Parameters of the Same TypeItem 39: Prefer Unifying Types to Modeling DifferencesItem 40: Prefer Imprecise Types to Inaccurate TypesItem 41: Name Types Using the Language of Your Problem DomainItem 42: Avoid Types Based on Anecdotal Data
Item 43: Use the Narrowest Possible Scope for any TypesItem 44: Prefer More Precise Variants of any to Plain anyItem 45: Hide Unsafe Type Assertions in Well-Typed FunctionsItem 46: Use unknown Instead of any for Values with an Unknown TypeItem 47: Prefer Type-Safe Approaches to Monkey PatchingItem 48: Avoid Soundness TrapsItem 49: Track Your Type Coverage to Prevent Regressions in Type Safety
Item 50: Think of Generics as Functions Between TypesItem 51: Avoid Unnecessary Type ParametersItem 52: Prefer Conditional Types to Overload SignaturesItem 53: Know How to Control the Distribution of Unions over Conditional TypesItem 54: Use Template Literal Types to Model DSLs and Relationships Between StringsItem 55: Write Tests for Your TypesItem 56: Pay Attention to How Types DisplayItem 57: Prefer Tail-Recursive Generic TypesItem 58: Consider Codegen as an Alternative to Complex Types
Item 59: Use Never Types to Perform Exhaustiveness CheckingItem 60: Know How to Iterate Over ObjectsItem 61: Use Record Types to Keep Values in SyncItem 62: Use Rest Parameters and Tuple Types to Model Variadic FunctionsItem 63: Use Optional Never Properties to Model Exclusive OrItem 64: Consider Brands for Nominal Typing
Item 65: Put TypeScript and @types in devDependenciesItem 66: Understand the Three Versions Involved in Type DeclarationsItem 67: Export All Types That Appear in Public APIsItem 68: Use TSDoc for API CommentsItem 69: Provide a Type for this in Callbacks if It’s Part of Their APIItem 70: Mirror Types to Sever DependenciesItem 71: Use Module Augmentation to Improve Types

Item 72: Prefer ECMAScript Features to TypeScript FeaturesItem 73: Use Source Maps to Debug TypeScriptItem 74: Know How to Reconstruct Types at RuntimeItem 75: Understand the DOM HierarchyItem 76: Create an Accurate Model of Your EnvironmentItem 77: Understand the Relationship Between Type Checking and Unit TestingItem 78: Pay Attention to Compiler Performance
Item 79: Write Modern JavaScriptItem 80: Use @ts-check and JSDoc to Experiment with TypeScriptItem 81: Use allowJs to Mix TypeScript and JavaScriptItem 82: Convert Module by Module Up Your Dependency GraphItem 83: Don’t Consider Migration Complete Until You Enable noImplicitAny

Content preview from Effective TypeScript, 2nd Edition

Chapter 2. TypeScript’s Type System

TypeScript can generate JavaScript (Item 3), but the type system is the main event. This is why you’re using the language!

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.

Item 6: Use Your Editor to Interrogate and Explore the Type System

When you install TypeScript, you get two executables:

tsc, the TypeScript compiler
tsserver, the TypeScript standalone server

You’re much more likely to run the TypeScript compiler directly, but the server is every bit as important because it provides language services. These include autocomplete, inspection, navigation, and refactoring. You typically use these services through your editor. If yours isn’t configured to provide them, then you’re missing out! Services like autocomplete are one of the things that make TypeScript such a joy to use. But beyond convenience, your editor is the best place to build and test your knowledge of the type system. This will help you build an intuition for when TypeScript is able to infer types, which is key to writing compact, idiomatic code (see Item 18).

The details will vary from editor ...