−TypeScript에서는 ok 필드로 두 경우를 구분하는 유니온 타입으로 결과 타입을 표현한다. 이런 타입을 판별 유니온이라 하며, if (result.ok)로 검사하면 컴파일러가 분기마다 타입을 좁혀 성공 분기에서는 value만, 실패 분기에서는 failure만 쓸 수 있게 한다. 오류 코드는 문자열 리터럴 유니온이라 목록에 없는 문자열은 컴파일되지 않는다. 같은 입력 일곱 개를 처리한다.
+TypeScript에서는 ok 필드로 두 경우를 구분하는 판별 유니온으로 결과 타입을 표현하며, if (result.ok)로 검사하면 컴파일러가 분기마다 타입을 좁혀 성공 분기에서는 value만, 실패 분기에서는 failure만 쓸 수 있게 한다. 오류 코드는 문자열 리터럴 유니온이라 목록에 없는 문자열은 컴파일되지 않는다. 같은 입력 일곱 개를 처리한다.
