Introduction to Generics

Understand Introduction to Generics

Generics let you write functions and types that work with several value types while preserving relationships between inputs and outputs.

What you will learn: the purpose of introduction to generics, the rules TypeScript checks, and what its JavaScript behavior looks like in a runnable example.

What you’ll learn

Explain how introduction to generics works and where its type rules apply.
Predict the exact output of the introduction to generics example.
Diagnose a common issue: Using any instead of T loses the relationship between argument and return types.

Build the mental model

A generic type parameter, often written T, is a placeholder resolved by the checker for each use. It is erased from emitted JavaScript; using a generic does not mean the runtime creates a new implementation for every type.

Key distinction: TypeScript checks the declared types during development; emitted JavaScript carries out the value-level operation at runtime. A type declaration alone never validates untrusted runtime input.

See the relationship

Read this illustration from the first labeled part to the last. Compare it with the example and identify which parts are type checks and which parts run in JavaScript.

Introduction to Generics: Input T → identity<T> → Output T.

Run the complete TypeScript example

This self-contained example uses fixed values, so it runs without reading input or depending on an external service. Paste it into the TypeScript Playground or save it as main.ts.

TypeScript program

function identity<T>(value: T): T {
  return value;
}
const amount = identity(14);
const label = identity("ready");
console.log(amount + 1);
console.log(label.toUpperCase());

Verified output

15
READY

Run locally: npx tsc --strict --target es2022 --module commonjs main.ts, then node main.js. For projects with a tsconfig.json, build using that configuration instead.

Trace every important step

TypeScript infers number for identity(14) and string for identity("ready"). The returned runtime values are unchanged; adding 1 produces 15 and toUpperCase produces READY.

Check each step: identify the input values, follow the JavaScript operation in execution order, and match the final expression with the exact output shown. An annotation can reject invalid source before execution, but does not change the value printed.

Avoid these common mistakes

Using any instead of T loses the relationship between argument and return types. Prefer a type parameter when the types genuinely relate.

How to debug: reproduce the issue in a minimal example. For compiler errors, inspect the inferred and declared types; for a runtime surprise, log the actual values and follow their references or branches.

Practice and experiment

Write a first<T>(items: T[]): T | undefined utility. Try numbers, strings, and an empty array.

Practice routine: predict the result on paper, edit one part of the code, compile under --strict, run the JavaScript, and explain whether TypeScript caught an error or JavaScript simply behaved differently.

Review the key idea

Introduction to Generics: Generics let you write functions and types that work with several value types while preserving relationships between inputs and outputs.