infer, never만 보면 두려워지는 당신을 위한 타입 추론 - 기초 타입 이론
TypeScript 타입 추론의 기초를 타입 이론 관점에서 설명했습니다. 서브타입 관계, 함수 타입, never·unknown·any·void의 의미를 정리했습니다.
#TypeScript#타입 이론#infer
4400
infer, never만 보면 두려워지는 당신을 위한 타입 추론 - 기초 타입 이론
타입 이론 태그가 달린 국내 IT 기업 기술 블로그 글을 최신순으로 모았습니다.
2개 표시
TypeScript 타입 추론의 기초를 타입 이론 관점에서 설명했습니다. 서브타입 관계, 함수 타입, never·unknown·any·void의 의미를 정리했습니다.
9개 언어의 nullable, 합·곱 타입, 패턴 매칭을 타입 이론 관점에서 비교했습니다. 상속과 예외 처리의 한계를 살피고 컴포지션·Result 기반 설계를 제안합니다.
