DevLoom

TypeScript & Type System Mechanics

Master TypeScript from core type annotations to generic constraints, conditional infer types, utility functions, and compiler options.

Frontend

30 bytes available

Share

Master TypeScript from core type annotations to generic constraints, conditional infer types, utility functions, and compiler options.

Frontend

30 bytes available•1 min each

1 min

5 claps

TypeScript Primitives & Explicit Type Annotations

Learn how TypeScript adds static typing to JavaScript primitive types using explicit colon annotations to catch bugs at compile time.

Type Inference & Literal Types (const vs. let)

Discover how TypeScript infers types automatically and how let versus const declarations shape wide types versus narrow literal types.

Arrays, Tuples & Readonly Modifiers

Master typed array lists, fixed-length tuples, and readonly modifiers to enforce immutable data structures in TypeScript.

Objects & Type Aliases (type Keyword)

Learn how to define reusable object shapes, optional properties, and custom type definitions using the TypeScript type alias keyword.

Interfaces vs. Type Aliases: When to Use Which

Master the differences between interfaces and type aliases, including declaration merging, object extension, and architectural best practices.

Union Types (|) & Type Narrowing

Learn how to combine types using unions and narrow wide types safely using typeof, instanceof, and in operator guards.

Optional Properties & strictNullChecks

Understand strict null checks compiler flag, optional property handling, and safe nullish operations in production TypeScript.

Function Type Signatures & Function Overloads

Learn how to annotate function signatures, callback signatures, and define multiple function overload signatures for polymorphic APIs.

Enums vs. Const Assertions (as const)

Compare numeric and string Enums against modern const assertions (as const) for defining clean constant dictionaries.

Literal Types & Template Literal Types

Discover string template literal types to construct complex pattern-based string types dynamically at compile time.

Type Assertions (as) & Non-Null Operator (!)

Learn how to override compiler inference using type assertions (as) and the non-null assertion operator (!), and when to avoid them.

The unknown Type vs. any (Type Safety First)

Understand why any disables compile checks while unknown forces explicit type checking before property access.

The never Type & Exhaustiveness Checking

Learn how the never type represents impossible values and enables compile-time exhaustive switch statement validation.

Index Signatures & Mapped Types

Learn how to type dynamic object dictionaries using index signatures and map over existing type keys to build new types.

Introduction to Generics (<T>)

Master TypeScript generics to build flexible, reusable functions and interfaces without sacrificing type safety.

Generic Constraints (T extends Target)

Learn how to constrain generic type parameters using the extends keyword to guarantee specific property availability.

Discriminated Unions & Pattern Matching

Master tagged discriminated unions to model state machines cleanly and enable zero-overhead compile-time type narrowing.

Built-in Utility Types: Partial, Pick & Omit

Learn how built-in utility types like Partial, Required, Readonly, Pick, and Omit transform existing object shapes.

Utility Types: Record, Extract & ReturnType

Master advanced built-in utilities including Record, Exclude, Extract, NonNullable, and ReturnType for dynamic type extraction.

The keyof & typeof Type Operators

Learn how to query object property keys using keyof and extract types from runtime JavaScript variables using typeof.

Conditional Types & The infer Keyword

Master conditional ternary type logic (T extends U ? X : Y) and type pattern extraction using the infer keyword.

Deep Readonly & Recursive Type Aliases

Learn how to build recursive type definitions for nested tree structures and enforce deep immutability across object graphs.

Classes, Access Modifiers & implements

Master TypeScript OOP classes, visibility modifiers (public, private, protected), parameter properties, and interface implements contracts.

Abstract Classes & Polymorphism

Learn how to build abstract base classes, define abstract method contracts, and implement template method patterns.

Declaration Files (.d.ts) & Ambient Modules

Understand ambient module declarations, .d.ts files, DefinitelyTyped (@types), and global type augmentation.

The satisfies Operator (TypeScript 4.9+)

Learn how the satisfies operator validates that an object matches a type shape without widening or losing inferred literal types.

Branded Types & Nominal Typing

Master nominal branded typing techniques to prevent accidentally passing raw unvalidated strings or IDs to domain functions.

Strict Compiler Flags in tsconfig.json

Understand critical strict compiler options including strict, noImplicitAny, strictNullChecks, and noUncheckedIndexedAccess.

TypeScript Decorators & Metadata (TS 5.0+)

Learn how stage 3 ECMAScript decorators in TypeScript 5.0+ intercept classes, methods, and accessors for logging and metadata.

TypeScript Project References & Monorepos

Master tsconfig project references, incremental compilation, and composite builds for high-performance monorepo architectures.

BEGINNER

Quick read