Intersections

Contents
Combine with &
Mixin behavior
Intersection vs union
Flatten carefully

Combine with &

An intersection glues two object types together with the & sign. The result has every field from both sides at once.

Person has name from Named and age from Aged, so the const ada must provide both fields.

type Named = { name: string; }; type Aged = { age: number; }; type Person = Named & Aged; const ada: Person = { name: "Ada", age: 36 };

Mixin behavior

A mixin is a small reusable piece of data added to many types. Timestamped can be mixed into articles, comments, and anything else with a creation date.

Article keeps its own title and gains createdAt from the mixin. Each side stays small and easy to reuse.

type Timestamped = { createdAt: string; }; type Article = { title: string; } & Timestamped; const post: Article = { title: "Hello", createdAt: "2026-01-01", };

Intersection vs union

Unions and intersections answer opposite questions. A union value may be one side or the other, while an intersection value must satisfy every side at once.

Either accepts an a object or a b object, but Both demands a and b together. Pick the one that matches the real rule.

type Either = { a: string } | { b: number }; type Both = { a: string } & { b: number }; const both: Both = { a: "x", b: 2 };

Flatten carefully

Intersections of clashing fields collapse to never, which no value can satisfy. A Conflict with id as both string and number can never be built.

Keep intersections flat and group related fields into one base type instead. Small named pieces compose without surprises.

type Conflict = { id: string } & { id: number }; // id is never, so no value fits type Clean = { id: string } & { label: string }; const ok: Clean = { id: "a1", label: "first" };

Next: Mapped types

Article author: Arthur Isaev

Related articles
TypeScript
TypeScript course: zero to hero in 100 lessons
What is TypeScript and where it runs
Install TypeScript
Your first program
tsconfig.json
Basic types
any, unknown, never
Arrays and tuples
Type aliases
Interfaces
Unions and literals
Function types
Parameters
Overloads
Generics
Constraints
Return types
Arrow functions
Callbacks
Narrowing
Assertions
Classes
Constructors
Modifiers
implements
Abstract classes
static
Getters and setters
Enums
ES modules
Decorators
Discriminated unions
Intersections
Mapped types
Conditional types
infer
Template literal types
keyof and typeof
Utility types
satisfies
const assertions
tsc CLI
tsconfig deep dive
Strict mode
Source maps
Declaration files
Linting
Formatting
Debugging
Project references
Publishing packages
Run with Node
npm scripts
argv and env
Files with fs
path and os
JSON IO
Dates
Crypto random
Timers
process
Callbacks to promises
Promises
async and await
Promise.all
Promise.race
HTTPS client
Abort and timeouts
Async error handling
Sequential vs parallel
Event loop
Tests with assert
Test layout
Fixtures
Test doubles
CI tests
DOM basics
DOM events
Fetch in browsers
Forms
Web storage
Npm packages
Bundling concept
SPA concepts
Typed API client
Hand-rolled validation
Iterators and generators
Mixins
Branding nominal types
Result types
Options objects
Builder
Event emitters
Streams
Workers
Deserialization
Capstone: todo CLI
Capstone: JSON API
Capstone: utils library
Modern TypeScript tour
Hero roadmap: the whole course on one page
Install TypeScript on Windows 11
Install TypeScript on Ubuntu
Install TypeScript on Rocky Linux
Install TypeScript on macOS
Install TypeScript on FreeBSD
TypeScript in Docker

Search this site

Channel @aofeed Chat @aofeedchat

Contacts and cooperation:
I recommend our hosting beget.ru
Write to info@urn.su, info@aredel.com if you:
1. Want to write an article for our site or translate an article into your native language.
2. Want to place thematically relevant ads on the site.
3. Ads on my site pass maximum censorship. If you see an ad block unsuitable for school-age children, shocking or misleading - please contact us by e-mail
4. Found a mistake, inaccuracy, bug, etc. on the site. ... .......
5. Articles can be shared on social media by clicking a network icon: