Discriminated Unions

Use a common property to narrow union types.

Basic Discriminated Union

Result Type Pattern

State Machine Pattern

Action Pattern (Redux-like)

Event Handling Pattern

Exhaustiveness Checking

Exercise: Create Message Union

Create a discriminated union for messages: