TypeScript terms
JavaScript with a safety net and a much better IDE experience
TypeScript adds a powerful static type system to JavaScript, catching errors at compile time and making large codebases dramatically easier to maintain and refactor. This category covers type primitives, generics, utility types, declaration files, strict mode, and the patterns that make TypeScript an upgrade rather than just added ceremony.
More on TypeScript
History
TypeScript was created by Microsoft and first released in 2012 as a superset of JavaScript that adds static typing and compile-time checking to address pain points in large-scale JavaScript development. Early adoption was slow, but the language gained significant momentum around 2015–2016 as tooling improved, frameworks like Angular embraced it, and developers recognized its value for catching errors before runtime. The release of TypeScript 2.0 (2016) introduced major features like non-nullable types and control flow analysis, establishing patterns still central to modern TypeScript practice. Today, TypeScript is the de facto standard for large JavaScript codebases, with continued evolution (recent versions 4.9–5.2) introducing features like the satisfies operator and explicit resource management, solidifying its role as the bridge between JavaScript's flexibility and the type safety demands of enterprise development.
Key concepts
- TypeScript Type System
- TypeScript Interfaces vs Type Aliases
- TypeScript Generics
- Type Guards & Narrowing
- TypeScript Utility Types
- Discriminated Unions
- Conditional Types & infer
- TypeScript Strict Mode
Best references
-
TypeScript Official Documentation The authoritative reference for TypeScript syntax, compiler options, and type system features. Essential for accurate information on all 26 terms in this category.
-
TypeScript Handbook Comprehensive guide covering fundamentals through advanced patterns like generics, conditional types, mapped types, and declaration merging with practical examples.
-
TypeScript Release Notes Official changelog documenting feature introductions across versions, including const type parameters (5.0), satisfies operator (4.9), and explicit resource management (5.2).
-
Effective TypeScript by Dan Vanderkam Seminal practical guide covering type narrowing, exhaustive checks, utility types, and advanced patterns with real-world rationale behind TypeScript design decisions.
-
TypeScript Deep Dive by Basarat Ali Syed In-depth resource covering the type system, generics, modules, declaration files, and decorators with clear explanations of complex concepts.
✦ Latest in TypeScript
Typed relationships here
Edges touching a TypeScript term.
- TypeScript Modules & Namespaces Specializes JavaScript Module Patterns Jun 13
- TypeScript Utility Types Leverages Mapped Types & Template Literal Types Jun 9
- Branded / Opaque Types in TypeScript Specializes TypeScript Type System Jun 8
- Discriminated Unions Specializes TypeScript Type System Jun 8
- using & await using (TS 5.2 Explicit Resource Management) Often seen in Memory Management — Stack vs Heap Jun 8
Your tsconfig doesn't reach JavaScript's module patterns directly — it works through TypeScript's ES modules, which is the concrete thing its module resolution and target settings actually configure. Because TypeScript's modules are just a specialized form of the broader JS lineage (CommonJS, AMD, UMD, ESM), the choices you make in the config — say targeting ESM versus emitting CommonJS — ultimately determine which of those classic JS module patterns your compiled output speaks. That's why the config matters: it's the dial that picks where on the JS module evolution your code lands.
Covariance & Contravariance
4.7 Variance describes how subtype relationships on a type's components affect subtype relationships on the whole type — covariant types follow the direction, contravariant types reverse it.
2mo ago
TypeScript advanced
Module Augmentation & Declaration Merging
2.0 Module augmentation lets you extend third-party or global type definitions without modifying their source — adding properties to existing interfaces, modules, or the global scope.
2mo ago
TypeScript advanced
Recursive Types
3.7 Types that reference themselves to describe arbitrarily nested structures — trees, nested menus, JSON, linked lists — without requiring any escape hatch.
2mo ago
TypeScript advanced
Branded / Opaque Types in TypeScript
1
A technique to make structurally identical types incompatible — a UserId and an OrderId are both strings, but branding makes them distinct types so passing an OrderId where UserId is expected is a compile-time error.
3mo ago
TypeScript advanced
infer Keyword in Conditional Types
2.8
The infer keyword inside conditional types lets TypeScript extract and name a type from within a generic structure — enabling ReturnType<T>, Awaited<T>, and custom type extraction.
3mo ago
TypeScript advanced
using & await using (TS 5.2 Explicit Resource Management)
5.2
2
TypeScript 5.2 using keyword automatically disposes resources (DB connections, file handles) when they go out of scope — like C# using or Python with.
3mo ago
TypeScript advanced
Template Literal Types
4.1
TypeScript template literal types combine string literals with type interpolation — type EventName = `on${Capitalize<string>}` — enabling precise string-pattern type constraints.
3mo ago
TypeScript advanced
Conditional Types & infer
2.8
1
Types that choose between two types based on a condition — T extends U ? X : Y — enabling type-level branching. The infer keyword extracts types from within a conditional.
3mo ago
TypeScript advanced
Mapped Types & Template Literal Types
2.1
2
Mapped types transform existing types by iterating over their keys. Template literal types create string union types from combinations — together they enable powerful type-level transformations.
3mo ago
TypeScript advanced
TypeScript Declaration Files (.d.ts)
2.0
1
Type-only files describing JavaScript code shapes — DefinitelyTyped (@types/* packages) provides community-maintained declarations for popular JS libraries.
3mo ago
TypeScript advanced
TypeScript Decorators
4.0
1
Metadata annotations on classes, methods, and properties — used in NestJS, Angular, TypeORM, and class-validator to attach behaviour declaratively.
3mo ago
TypeScript advanced
TypeScript Generics
2.0
2
Type parameters that allow functions, classes, and interfaces to work with any type while preserving type information — the TypeScript equivalent of PHP templates or Java generics.
3mo ago
TypeScript advanced