search
HomeWeb Front-endJS TutorialMastering TypeScript&#s Pattern Matching: Boost Your Code&#s Power and Safety

Mastering TypeScript

TypeScript's discriminated unions are a powerful feature that take pattern matching to the next level. They allow us to create complex, type-safe conditional logic that goes beyond simple switch statements. I've been using this technique extensively in my recent projects, and it's transformed how I approach control flow in TypeScript.

Let's start with the basics. A discriminated union is a type that uses a common property to distinguish between different variants. Here's a simple example:

type Shape =
  | { kind: 'circle'; radius: number }
  | { kind: 'rectangle'; width: number; height: number }

The 'kind' property here is our discriminant. It allows TypeScript to infer which specific shape we're dealing with based on its value.

Now, let's see how we can use this for pattern matching:

function getArea(shape: Shape): number {
  switch (shape.kind) {
    case 'circle':
      return Math.PI * shape.radius ** 2
    case 'rectangle':
      return shape.width * shape.height
  }
}

This is neat, but it's just the beginning. We can take this much further.

One of the most powerful aspects of discriminated unions is exhaustiveness checking. TypeScript can ensure we've handled all possible cases in our pattern matching. Let's add a new shape to our union:

type Shape =
  | { kind: 'circle'; radius: number }
  | { kind: 'rectangle'; width: number; height: number }
  | { kind: 'triangle'; base: number; height: number }

function getArea(shape: Shape): number {
  switch (shape.kind) {
    case 'circle':
      return Math.PI * shape.radius ** 2
    case 'rectangle':
      return shape.width * shape.height
    // TypeScript will now warn us that we're not handling the 'triangle' case
  }
}

To make this even more robust, we can add a default case that throws an error, ensuring we never accidentally forget to handle a new case:

function assertNever(x: never): never {
  throw new Error("Unexpected object: " + x);
}

function getArea(shape: Shape): number {
  switch (shape.kind) {
    case 'circle':
      return Math.PI * shape.radius ** 2
    case 'rectangle':
      return shape.width * shape.height
    case 'triangle':
      return 0.5 * shape.base * shape.height
    default:
      return assertNever(shape)
  }
}

Now, if we ever add a new shape without updating our getArea function, TypeScript will give us a compile-time error.

But we can go even further with pattern matching. Let's look at a more complex example involving nested patterns.

Imagine we're building a simple state machine for a traffic light:

type TrafficLightState =
  | { state: 'green' }
  | { state: 'yellow' }
  | { state: 'red' }
  | { state: 'flashing', color: 'yellow' | 'red' }

function getNextState(current: TrafficLightState): TrafficLightState {
  switch (current.state) {
    case 'green':
      return { state: 'yellow' }
    case 'yellow':
      return { state: 'red' }
    case 'red':
      return { state: 'green' }
    case 'flashing':
      return current.color === 'yellow'
        ? { state: 'red' }
        : { state: 'flashing', color: 'yellow' }
  }
}

Here, we're not just matching on the top-level state, but also on nested properties when we're in the 'flashing' state.

We can also use guards to add even more complex conditions to our pattern matching:

type WeatherEvent =
  | { kind: 'temperature', celsius: number }
  | { kind: 'wind', speed: number }
  | { kind: 'precipitation', amount: number }

function describeWeather(event: WeatherEvent): string {
  switch (event.kind) {
    case 'temperature':
      if (event.celsius > 30) return "It's hot!"
      if (event.celsius  100) return "There's a hurricane!"
      if (event.speed > 50) return "It's very windy."
      return "There's a gentle breeze."
    case 'precipitation':
      if (event.amount > 100) return "It's pouring!"
      if (event.amount > 0) return "It's raining."
      return "It's dry."
  }
}

This pattern matching approach isn't limited to switch statements. We can use it with if-else chains, or even with object literals for more complex scenarios:

type Action =
  | { type: 'INCREMENT' }
  | { type: 'DECREMENT' }
  | { type: 'RESET' }
  | { type: 'SET', payload: number }

const reducer = (state: number, action: Action): number => ({
  INCREMENT: () => state + 1,
  DECREMENT: () => state - 1,
  RESET: () => 0,
  SET: () => action.payload,
}[action.type]())

This approach can be particularly useful when implementing the visitor pattern. Here's an example of how we might use discriminated unions to implement a simple expression evaluator:

type Expr =
  | { kind: 'number'; value: number }
  | { kind: 'add'; left: Expr; right: Expr }
  | { kind: 'multiply'; left: Expr; right: Expr }

const evaluate = (expr: Expr): number => {
  switch (expr.kind) {
    case 'number':
      return expr.value
    case 'add':
      return evaluate(expr.left) + evaluate(expr.right)
    case 'multiply':
      return evaluate(expr.left) * evaluate(expr.right)
  }
}

const expr: Expr = {
  kind: 'add',
  left: { kind: 'number', value: 5 },
  right: {
    kind: 'multiply',
    left: { kind: 'number', value: 3 },
    right: { kind: 'number', value: 7 }
  }
}

console.log(evaluate(expr))  // Outputs: 26

This pattern allows us to easily extend our expression system with new types of expressions, and TypeScript will ensure we handle all cases in our evaluate function.

One of the most powerful aspects of this approach is how it allows us to refactor large, complex conditional blocks into more manageable and extendable structures. Let's look at a more complex example:

Imagine we're building a system to process different types of financial transactions:

type Shape =
  | { kind: 'circle'; radius: number }
  | { kind: 'rectangle'; width: number; height: number }

In this example, we've used TypeScript's mapped types and conditional types to create a type-safe object where each key corresponds to a transaction kind, and each value is a function that processes that specific type of transaction. This approach allows us to easily add new types of transactions without changing the core logic of our handleTransaction function.

The beauty of this pattern is that it's both type-safe and extensible. If we add a new type of transaction, TypeScript will force us to add a corresponding processor function. If we try to process a transaction kind that doesn't exist, we'll get a compile-time error.

This pattern matching approach with discriminated unions can lead to more expressive, safer, and self-documenting TypeScript code, especially in complex applications. It allows us to handle complex logic in a way that's both readable and maintainable.

As our applications grow in complexity, these techniques become increasingly valuable. They allow us to write code that's not only correct, but also easy to understand and modify. By leveraging TypeScript's type system to its fullest, we can create robust, flexible systems that are a joy to work with.

Remember, the goal isn't just to write code that works, but to write code that clearly expresses its intent and is resistant to errors as requirements change. Pattern matching with discriminated unions is a powerful tool in achieving this goal.

In my experience, adopting these patterns has led to significant improvements in code quality and development speed. It takes some time to get used to thinking in terms of discriminated unions and exhaustive pattern matching, but once you do, you'll find it opens up new possibilities for structuring your code in clear, type-safe ways.

As you continue to explore TypeScript, I encourage you to look for opportunities to apply these patterns in your own code. Start small, perhaps by refactoring a complex if-else chain into a discriminated union. As you become more comfortable with the technique, you'll start to see more and more places where it can be applied to simplify and clarify your code.

Remember, the true power of TypeScript lies not just in its ability to catch errors, but in its ability to guide us towards better, more expressive code structures. By embracing patterns like discriminated unions and exhaustive pattern matching, we can create code that's not only correct, but also a pleasure to read and maintain.


Our Creations

Be sure to check out our creations:

Investor Central | Smart Living | Epochs & Echoes | Puzzling Mysteries | Hindutva | Elite Dev | JS Schools


We are on Medium

Tech Koala Insights | Epochs & Echoes World | Investor Central Medium | Puzzling Mysteries Medium | Science & Epochs Medium | Modern Hindutva

The above is the detailed content of Mastering TypeScript&#s Pattern Matching: Boost Your Code&#s Power and Safety. For more information, please follow other related articles on the PHP Chinese website!

Statement
The content of this article is voluntarily contributed by netizens, and the copyright belongs to the original author. This site does not assume corresponding legal responsibility. If you find any content suspected of plagiarism or infringement, please contact admin@php.cn
Python vs. JavaScript: Performance and Efficiency ConsiderationsPython vs. JavaScript: Performance and Efficiency ConsiderationsApr 30, 2025 am 12:08 AM

The differences in performance and efficiency between Python and JavaScript are mainly reflected in: 1) As an interpreted language, Python runs slowly but has high development efficiency and is suitable for rapid prototype development; 2) JavaScript is limited to single thread in the browser, but multi-threading and asynchronous I/O can be used to improve performance in Node.js, and both have advantages in actual projects.

The Origins of JavaScript: Exploring Its Implementation LanguageThe Origins of JavaScript: Exploring Its Implementation LanguageApr 29, 2025 am 12:51 AM

JavaScript originated in 1995 and was created by Brandon Ike, and realized the language into C. 1.C language provides high performance and system-level programming capabilities for JavaScript. 2. JavaScript's memory management and performance optimization rely on C language. 3. The cross-platform feature of C language helps JavaScript run efficiently on different operating systems.

Behind the Scenes: What Language Powers JavaScript?Behind the Scenes: What Language Powers JavaScript?Apr 28, 2025 am 12:01 AM

JavaScript runs in browsers and Node.js environments and relies on the JavaScript engine to parse and execute code. 1) Generate abstract syntax tree (AST) in the parsing stage; 2) convert AST into bytecode or machine code in the compilation stage; 3) execute the compiled code in the execution stage.

The Future of Python and JavaScript: Trends and PredictionsThe Future of Python and JavaScript: Trends and PredictionsApr 27, 2025 am 12:21 AM

The future trends of Python and JavaScript include: 1. Python will consolidate its position in the fields of scientific computing and AI, 2. JavaScript will promote the development of web technology, 3. Cross-platform development will become a hot topic, and 4. Performance optimization will be the focus. Both will continue to expand application scenarios in their respective fields and make more breakthroughs in performance.

Python vs. JavaScript: Development Environments and ToolsPython vs. JavaScript: Development Environments and ToolsApr 26, 2025 am 12:09 AM

Both Python and JavaScript's choices in development environments are important. 1) Python's development environment includes PyCharm, JupyterNotebook and Anaconda, which are suitable for data science and rapid prototyping. 2) The development environment of JavaScript includes Node.js, VSCode and Webpack, which are suitable for front-end and back-end development. Choosing the right tools according to project needs can improve development efficiency and project success rate.

Is JavaScript Written in C? Examining the EvidenceIs JavaScript Written in C? Examining the EvidenceApr 25, 2025 am 12:15 AM

Yes, the engine core of JavaScript is written in C. 1) The C language provides efficient performance and underlying control, which is suitable for the development of JavaScript engine. 2) Taking the V8 engine as an example, its core is written in C, combining the efficiency and object-oriented characteristics of C. 3) The working principle of the JavaScript engine includes parsing, compiling and execution, and the C language plays a key role in these processes.

JavaScript's Role: Making the Web Interactive and DynamicJavaScript's Role: Making the Web Interactive and DynamicApr 24, 2025 am 12:12 AM

JavaScript is at the heart of modern websites because it enhances the interactivity and dynamicity of web pages. 1) It allows to change content without refreshing the page, 2) manipulate web pages through DOMAPI, 3) support complex interactive effects such as animation and drag-and-drop, 4) optimize performance and best practices to improve user experience.

C   and JavaScript: The Connection ExplainedC and JavaScript: The Connection ExplainedApr 23, 2025 am 12:07 AM

C and JavaScript achieve interoperability through WebAssembly. 1) C code is compiled into WebAssembly module and introduced into JavaScript environment to enhance computing power. 2) In game development, C handles physics engines and graphics rendering, and JavaScript is responsible for game logic and user interface.

See all articles

Hot AI Tools

Undresser.AI Undress

Undresser.AI Undress

AI-powered app for creating realistic nude photos

AI Clothes Remover

AI Clothes Remover

Online AI tool for removing clothes from photos.

Undress AI Tool

Undress AI Tool

Undress images for free

Clothoff.io

Clothoff.io

AI clothes remover

Video Face Swap

Video Face Swap

Swap faces in any video effortlessly with our completely free AI face swap tool!

Hot Tools

Atom editor mac version download

Atom editor mac version download

The most popular open source editor

VSCode Windows 64-bit Download

VSCode Windows 64-bit Download

A free and powerful IDE editor launched by Microsoft

Zend Studio 13.0.1

Zend Studio 13.0.1

Powerful PHP integrated development environment

SublimeText3 English version

SublimeText3 English version

Recommended: Win version, supports code prompts!

Notepad++7.3.1

Notepad++7.3.1

Easy-to-use and free code editor