Clear, practical technology insights
TipsMake Learning
Explore TipsMake guides
Learning Library
Unions and NarrowingLesson 14 of 28

Set Up and Explore Unions and Narrowing in TypeScript Fundamentals

Explore Unions and Narrowing in a minimal environment and record the baseline, valid case, and boundary or failure signal. This is an exploration lesson: establish a baseline and use the native tool or runtime to make the module visible before you build a larger feature.

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

What you will learn

  • Explore Unions and Narrowing in a minimal environment and record the baseline, valid case, and boundary or failure signal.
  • Produce or inspect a baseline and boundary observation log for Unions and Narrowing verified with the module-specific command, output, test, rendered state, query result, log, or measurement that proves the exercise worked.
  • 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.

Prepare the exploration workspace

For Unions and Narrowing, begin from this setup requirement: Open a small local project or disposable lab environment. Apply it in this path context: Use TypeScript source types, inference, unions, narrowing, interfaces, generics, compiler diagnostics, emitted JavaScript, and project configuration.

  1. 1

    Open a small local project or disposable lab environment.

  2. 2

    Confirm the runtime, toolchain, or service needed for the module.

  3. 3

    Prepare one valid input and one invalid or boundary input.

Record the baseline

For Unions and Narrowing, record a baseline that can later be compared with the module-specific command, output, test, rendered state, query result, log, or measurement that proves the exercise worked. Keep the observation grounded in this path context: Use TypeScript source types, inference, unions, narrowing, interfaces, generics, compiler diagnostics, emitted JavaScript, and project configuration.

Keep the baseline reproducible before changing anything.

Inspect the mechanism directly

Prepare the smallest realistic environment for Unions and Narrowing, then inspect one valid case through this implementation lens: Use TypeScript source types, inference, unions, narrowing, interfaces, generics, compiler diagnostics, emitted JavaScript, and project configuration.

Choose an inspection method that exposes the Unions and Narrowing boundary directly. Start from Static type checking versus runtime values. and use this path context: Use TypeScript source types, inference, unions, narrowing, interfaces, generics, compiler diagnostics, emitted JavaScript, and project configuration.

Technical exampletext
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.
Run or inspect
Review the exploration checklist and perform it with the native tool for the module.
Expected evidence
A recorded baseline tied to the module-specific setup and evidence.
Practice workspace
practice/\n├── README.md\n├── unions-and-narrowing-exploration.txt\n└── evidence/\n    └── expected-result.txt
Challenge

Apply Unions and Narrowing

Explore Unions and Narrowing in a minimal environment and record the baseline, valid case, and boundary or failure signal.

  • 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.

Try one boundary case

Change one input or state that matters to Unions and Narrowing within this path context: Use TypeScript source types, inference, unions, narrowing, interfaces, generics, compiler diagnostics, emitted JavaScript, and project configuration. Predict the result before rerunning the check.

Record expected and observed results; isolate one mismatch at a time.

Decide whether the setup is ready

The Unions and Narrowing environment is ready when you can reproduce the module-specific command, output, test, rendered state, query result, log, or measurement that proves the exercise worked and explain the first relevant boundary condition in this context: Use TypeScript source types, inference, unions, narrowing, interfaces, generics, compiler diagnostics, emitted JavaScript, and project configuration.

Verification checklist
  • Baseline captured.
  • Valid case reproduced.
  • Boundary or invalid case observed.
  • Module-specific inspection method identified.
Hands-on practice

Practice Unions and Narrowing

Prepare the smallest realistic environment for Unions and Narrowing, then inspect one valid case through 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

    Prepare the smallest realistic environment for Unions and Narrowing, then inspect one valid case through 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: Set Up and Explore Unions and Narrowing in TypeScript Fundamentals

Complete a focused exercise for “Set Up and Explore Unions and Narrowing 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: Set Up and Explore Unions and Narrowing in TypeScript Fundamentals

    Extend “Set Up and Explore Unions and Narrowing 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

      • Explore Unions and Narrowing in a minimal environment and record the baseline, valid case, and boundary or failure signal.
      • 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.