TypeScript Patterns & Best Practices

Philosophy

Types are documentation that the compiler verifies. Good types make invalid states unrepresentable.

// BAD: Valid TypeScript, but allows invalid states
interface User {
  name: string;
  email: string;
  isVerified: boolean;
  verifiedAt: Date | null; // Can be null even when isVerified is true!
}