Clear, practical technology insights
Unions and NarrowingLesson 15 of 28

Build a Practical Unions and Narrowing Example in TypeScript Fundamentals

Build the module-specific task for Unions and Narrowing and verify the expected artifact with a concrete result. This lesson produces a concrete artifact. Build the smallest useful implementation, run it, change one meaningful condition, and verify the result with module-specific evidence.

30 min Practitioner Unions and NarrowingReviewed 2026-08-07
Learning objectives

What you will learn

  • Build the module-specific task for Unions and Narrowing and verify the expected artifact with a concrete result.
  • Produce or inspect a working unions and narrowing exercise with a documented technical result.
  • Verify the result with the module-specific command, output, test, rendered state, query result, log, or measurement that proves the exercise worked.
Before you start

What you need

  • Open a small local project or disposable lab environment.
  • Confirm the runtime, toolchain, or service needed for the module.
  • Prepare one valid input and one invalid or boundary input.

Define the build target

For Unions and Narrowing, model a success/error result as a discriminated union, narrow it in a function, and verify TypeScript rejects an impossible property access. Build the boundary case using this implementation lens: Use TypeScript source types, inference, unions, narrowing, interfaces, generics, compiler diagnostics, emitted JavaScript, and project configuration.

Keep the Unions and Narrowing build centered on these technical constraints: Static type checking versus runtime values. Union types and discriminants. Apply them through this path lens: Use TypeScript source types, inference, unions, narrowing, interfaces, generics, compiler diagnostics, emitted JavaScript, and project configuration. Use TypeScript source types, inference, unions, narrowing, interfaces, generics, compiler diagnostics, emitted JavaScript, and project configuration.

Implement the core behavior

Implement Unions and Narrowing around the module artifact—a working unions and narrowing exercise with a documented technical result—and keep the implementation specific to this path context: Use TypeScript source types, inference, unions, narrowing, interfaces, generics, compiler diagnostics, emitted JavaScript, and project configuration.

Technical examplejavascript
const rawAge = '27';
const age = Number(rawAge);
const profile = { age, active: true };
console.log(typeof age, profile);
Run or inspect
node example.js
Expected evidence
A concrete JavaScript value or error that demonstrates the module behavior.
Practice workspace
practice/\n├── README.md\n├── unions-and-narrowing-build.js\n└── evidence/\n    └── expected-result.txt
Challenge

Apply Unions and Narrowing

Build the module-specific task for Unions and Narrowing and verify the expected artifact with a concrete result.

  • Use the lesson-specific technical example as a reference, not a copy.
  • Change one condition that matters to Unions and Narrowing.
  • Verify the result with the module-specific command, output, test, rendered state, query result, log, or measurement that proves the exercise worked.

Run the complete path

Run one realistic Unions and Narrowing case end to end and record the required evidence: the module-specific command, output, test, rendered state, query result, log, or measurement that proves the exercise worked. Interpret the result through this path context: Use TypeScript source types, inference, unions, narrowing, interfaces, generics, compiler diagnostics, emitted JavaScript, and project configuration.

Change one meaningful condition

Modify one condition central to Unions and Narrowing using this path context: Use TypeScript source types, inference, unions, narrowing, interfaces, generics, compiler diagnostics, emitted JavaScript, and project configuration. Predict the new result before rerunning the same workflow.

Verify the artifact

Your deliverable is a working unions and narrowing exercise with a documented technical result.

Verification checklist
  • The primary case works.
  • One boundary or failure case is handled intentionally.
  • The result is verified with the module-specific command, output, test, rendered state, query result, log, or measurement that proves the exercise worked.
  • You can explain why the implementation behaves as observed.
Hands-on practice

Practice Unions and Narrowing

For Unions and Narrowing, model a success/error result as a discriminated union, narrow it in a function, and verify TypeScript rejects an impossible property access. Build the boundary case using this implementation lens: Use TypeScript source types, inference, unions, narrowing, interfaces, generics, compiler diagnostics, emitted JavaScript, and project configuration.

  1. 1

    Write the expected result before starting.

  2. 2

    For Unions and Narrowing, model a success/error result as a discriminated union, narrow it in a function, and verify TypeScript rejects an impossible property access. Build the boundary case using this implementation lens: Use TypeScript source types, inference, unions, narrowing, interfaces, generics, compiler diagnostics, emitted JavaScript, and project configuration.

  3. 3

    Record the module-specific command, output, test, rendered state, query result, log, or measurement that proves the exercise worked and explain whether it matches the expectation.

Interactive practice

Practice what you learned

Exercises are optional for lesson completion and contribute to a separate Practice Mastery score.

Practice Mastery0%
Exercise A · Core Check40% base masterytypescript

Core Check: Build a Practical Unions and Narrowing Example in TypeScript Fundamentals

Complete a focused exercise for “Build a Practical Unions and Narrowing Example in TypeScript Fundamentals”. Your task is to Use TypeScript to express expected data shapes and narrow unions safely so invalid states are caught before runtime while emitted JavaScript behavior remains understood. Use one concrete example and show evidence that the result is correct.

Verification target: a working unions and narrowing exercise with a documented technical result

Not completed

    Exercise B · Mini Challenge60% base masterytypescript

    Mini Challenge: Build a Practical Unions and Narrowing Example in TypeScript Fundamentals

    Extend “Build a Practical Unions and Narrowing Example in TypeScript Fundamentals” into a boundary or failure scenario. Start from this lesson task: Use TypeScript to express expected data shapes and narrow unions safely so invalid states are caught before runtime while emitted JavaScript behavior remains understood. Change one condition that matters, predict the outcome first, then show evidence that confirms or disproves the prediction.

    Verification target: a working unions and narrowing exercise with a documented technical result

    Not completed

      Common mistakes to avoid

      • Using any removes useful checking.
      • Type assertion used instead of validation.
      • Union not narrowed before property access.
      • Assuming TypeScript validates runtime JSON.
      Lesson recap

      Key takeaways

      • Build the module-specific task for Unions and Narrowing and verify the expected artifact with a concrete result.
      • Keep the exercise small enough to explain the important state and decision.
      • Use the module-specific command, output, test, rendered state, query result, log, or measurement that proves the exercise worked rather than successful command completion alone.

      Frequently asked questions

      What should I be able to do before moving on?

      You should be able to explain the purpose of Unions and Narrowing, build a small example without copying the lesson line by line, and diagnose a basic failure using the relevant tool or error output.

      How much should I build for practice?

      Keep the exercise small enough that you can explain every important input, state change, and output. Add complexity only after the core behavior is reliable.

      Evidence and updates

      Sources and further reading

      1. NarrowingTypeScript
      2. TypeScript HandbookTypeScript
      3. TypeScript TSConfig ReferenceTypeScript
      Finish this lesson

      Ready to continue?

      Mark the lesson complete so your Learning Path progress stays current on this device.