TypeScript Tips

Make bugs impossible.
One TypeScript tip at a time.

I like the tricks :) – Kasia

Type checks

@RiccardoOdone • Suggest a tip •

You can move runtime errors to type errors with generics.

const div = (dividend: number, divisor: number) =>
  dividend / divisor

div(1, 0)
// ⛔️ Infinity

type NonZero<Number extends number> = Number extends 0 ? "cannot be 0" : Number

const div = <Divisor extends number>(dividend: number, divisor: NonZero<Divisor>) =>
  dividend / divisor

div(1, 0)
// ✅ Does not compile
// Argument of type '0' is not assignable to parameter of type '"cannot be 0"'

declare function gimmeANumber(): number
div(1, gimmeANumber())
// ⛔️ gimmeANumber() could return 0
Type-safe carousel Do not throw Filter using a type assertion Use precise types Type-safe string templating Enumerating a union type Numbers with units Zero null Enumerating statuses And types Avoiding window as any Use descriptive values Check authorization with types Extract union types from record types Keep in sync with conditional types Type-safe pick Pass arguments by name Pick instead of duplicating Prevent mutations Type aliases Model with different types Prefer static types over tests Push conditionals down Type-level functions Check Authorization With Types (again) From Union to Tuple Limit types Laser-focused types Callable types Partial considered harmful Satisfy types WTH?! Parse, don't cast Narrow types Fetch footgun Model with different types (2) Polymorphic types Parse, don't cast (again) Type-safe env Object vs Record const Type Parameters Dig Type checks Expand intellisense Numbers with units (2) Unchecked indexed access Extract instead of duplicating

TypeScript Tips

Crafted with 💛 by Riccardo