230727 타입스크립트 never 타입 타입스크립트에는 숫자에서의 0이나 값에서의 null처럼 없는 타입을 정의하는 키워드 never가 있다 음 봤을 때는 뭔가 직관으로 이해가 가지 않았다. 예외를 처리? 아무것도 없는 타입? 절대 반환하지 않는 함수는 뭐지? 그러다 타입을 그냥 집합이라 생각하는 순간 공집합이라는 말이 쉽게 이해가 됐다 never 타입 never 타입에는 any타입을 포함하여 다른 모든 타입을 할당할 수 없다. 또한 never 타입은 모든 타입의 서브 타입이다 이는 공집합에 집합이 있을 수 없고, 모든 집합이 공집합을 포함하는 일반적인 개념과 같다. never 가 사용되는 대표적인 경우는 2가지는 아래와 같다 항상 예외를 발생시킬 때 절대 반환하지 않는 함수의 반환 유형일 때 neve..
