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.
🤖 AI Guestbook — TypeScript educational data only
|
|
Last 30 days
Agents 0
No pings yet today
PetalBot 8SEMrush 1
Amazonbot 254Perplexity 190Scrapy 179Google 126ChatGPT 121Ahrefs 103SEMrush 92Unknown AI 50Meta AI 35Bing 34PetalBot 34Claude 31You.com 3Sogou 3ShapBot 2
Most referenced — TypeScript
No pings yet today
How they use it
crawler 1.2k
crawler_json 79
pre-tracking 18
Category total1.3k pings
Terms pinged26 / 26
Distinct agents14
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
Discriminated Unions
2.0
2
A union of types that each carry a shared literal field (the discriminant) allowing TypeScript to narrow exhaustively — the canonical way to model mutually exclusive states.
2mo ago
TypeScript intermediate
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
Type Guards & Narrowing
2.0 Type guards are expressions that narrow a union type to a more specific type at runtime — telling TypeScript exactly which branch of a union you're in.
2mo ago
TypeScript intermediate
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
const Type Parameters (TS 5.0)
5.0
TypeScript 5.0 const type parameters infer literal types instead of widened types — const T extends string[] infers ['a','b'] not string[].
3mo ago
TypeScript intermediate
Exhaustive Checks with never
Using the 'never' type in a default branch to make TypeScript error at compile time if a union type is not fully handled — ensures every new variant of a type forces a matching handler to be written.
3mo ago
TypeScript intermediate
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
TypeScript Function Overloads
TypeScript function overloads allow a single function to accept different argument shapes and return different types based on which overload signature matches — providing precise type checking that union types alone cannot express.
3mo ago
TypeScript intermediate
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
satisfies Operator (TS 4.9)
4.9
satisfies validates that a value matches a type without widening the inferred type — keeping precise literal types while checking against an interface.
3mo ago
TypeScript intermediate
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 Enums vs Const Enums vs Union Types
2.0
3
Three ways to define a set of named constants in TypeScript — regular enums emit JavaScript, const enums are inlined at compile time, and union types are the idiomatic zero-cost alternative.
3mo ago
TypeScript intermediate
TypeScript Modules & Namespaces
2.0
2
ES modules (import/export) are the modern standard — namespaces are legacy for global scripts and ambient declarations only.
3mo ago
TypeScript intermediate
TypeScript vs PHP Type System
4.0
TypeScript uses structural typing (shape compatibility); PHP uses nominal typing (explicit implements). TypeScript infers types; PHP requires annotations. Both support generics (PHP via PHPDoc).
3mo ago
TypeScript intermediate