검증하지 말고 파싱하라 — TypeScript처럼 원하지 않는 언어에서

TypeScript의 타입 검증 방식을 비판하며 파서의 중요성을 강조하는 글입니다.

이 글에서는 TypeScript 코드 내에서 조건 검증이 분산될 경우 발생하는 문제들을 설명합니다. 확인된 사실이 타입 시스템에 남지 않으면 호출 스택에서 불필요한 의심이 생기게 됩니다. 따라서 원시 입력을 처리하고 더 좁은 타입이나 실패 정보를 제공하는 파서의 중요성을 강조합니다.

The article criticizes TypeScript's type validation approach and emphasizes the importance of parsers.

This article discusses the issues that arise when condition checks are scattered throughout TypeScript code. When validated facts do not persist in the type system, unnecessary doubts can arise in the call stack. It emphasizes the importance of parsers that process raw input and return narrower types or failure information.