Review Questions: 6 TypeScript tips to turn you into a WIZARD

Question 1

What is the structural difference between a key optional property and a value optional property in TypeScript?

Accepted Answer

A key optional property (with ?) can be omitted entirely, while a value optional property is required but its type includes undefined.

Question 2

Why does making trace ID value optional instead of key optional improve reliability in internal function chains?

Accepted Answer

Because value optional forces each function to pass the property along, even if undefined, preventing it from being silently dropped.

Question 3

When designing a public API, why might someone prefer key optional over value optional?

Accepted Answer

Because key optional keeps the API surface cleaner by not requiring callers to explicitly pass undefined values.

Question 4

What do Pick and Omit operate on, and how do they differ?

Accepted Answer

They operate on object types; Pick includes specified keys to create a new object type, while Omit removes specified keys to create a new one.

Question 5

What do Exclude and Extract operate on?

Accepted Answer

They operate on union types; Exclude removes union members, and Extract keeps matching union members.

Question 6

What happens if you use Extract on an object shape instead of a union type?

Accepted Answer

It results in never because Extract is designed to work on union types, not object shapes.

Question 7

Why can using Pick or Omit on unions lead to confusing or meaningless results?

Accepted Answer

Because Pick and Omit are designed for object shapes, so applying them to unions mismatches the structure they’re meant to transform.

Question 8

What problem does the Pritify/Prettify helper solve?

Accepted Answer

It resolves complex composed types into a clean, flattened object type in editor hovers without changing the underlying type.

Question 9

Does wrapping a type in Prettify change its behavior or only its display?

Accepted Answer

Only its display in type hovers; the underlying type behavior stays the same.

Question 10

Why does adding `string` to a union of literal types remove autocomplete for those literals?

Accepted Answer

Because TypeScript eagerly collapses the union into just string, so the individual literal members are no longer visible to the editor.

Question 11

How does the `string & {}` pattern preserve autocomplete while still allowing any string?

Accepted Answer

The intersection prevents the union from collapsing, keeping literal members visible for autocomplete while still accepting any string.

Question 12

In a mapped type, what does `keyof User` produce and how is it used?

Accepted Answer

It produces a union of the User’s keys, which the mapped type iterates over to construct a new object type.

Question 13

How can you access the original property type inside a mapped type iteration?

Accepted Answer

By indexing into the original type with the current key, e.g., User[K].

Question 14

What extra capabilities do mapped types provide beyond copying properties?

Accepted Answer

They can modify property modifiers like readonly or optional and remap keys using the as clause.

Question 15

How can template literal types be used in key remapping to generate getter methods?

Accepted Answer

By using a template like `get${Capitalize<K>}` in the as clause to create new method names whose return types mirror the original property types.

Question 16

After adding a `type: K` discriminator inside a mapped object, why is the result still not a discriminated union?

Accepted Answer

Because it’s still an object type with multiple properties, not a union of variants; adding discriminators alone doesn’t create union semantics.

Question 17

What does indexing an object type with `keyof` that object produce?

Accepted Answer

It produces a union of all the object’s value types.

Question 18

How does an immediately indexed mapped type turn a mapped object into a discriminated union?

Accepted Answer

You create a mapped type over the keys and then index it with `keyof` that same type, which extracts all its values as a union of variants.

6 TypeScript tips to turn you into a WIZARD

What's inside

Overview

Categories with 6 TypeScript tips to turn you into a WIZARD

6 TypeScript tips to turn you into a WIZARD
Notes with 6 Sections

In TypeScript, a property can be either key optional (using ?) or value optional (required key but value may be undefined), and these two forms behave differently in function calls.

Choosing between key optional and value optional is a trade-off between enforcing value propagation through internal code and keeping the public API cleaner.

In these notes

Add these20concepts to your library