타입스크립트의 모든 타입은 집합의 포함 관계(계층)를 가진다.이 계층 구조를 이해하면 unknown, never, void, any의 동작 방식을 논리적으로 파악할 수 있다.1. Unknown 타입 (전체 집합)unknown은 타입 계층도의 최상단에 위치한다. 집합으로 비유하면 모든 타입을 포함하는 전체 집합(Universal Set)이다.업캐스팅 (가능): 모든 타입은 전체 집합의 부분집합이므로, unknown 타입 변수에는 어떤 값이든 할당할 수 있다.let a: unknown = 1; // number -> unknownlet b: unknown = "hello"; // string -> unknownlet c: unknown = () => {}; // function -> un..

이번에는 '값을 반환하지 않음'을 나타내는 두 가지 특수 타입, void와 never에 대해 알아본다.두 타입은 비슷해 보이지만, "종료가 되느냐, 안 되느냐"에 따라 명확한 차이가 있다.1. Void 타입void는 "아무런 값도 없음"을 의미하는 타입이다. 주로 값을 반환하지 않는 함수의 반환 타입으로 사용된다.1.1. 함수에서의 사용함수가 명시적인 return 문을 가지지 않거나, return;으로 종료될 때 사용한다. 실제로 자바스크립트 함수는 반환값이 없으면 암묵적으로 undefined를 반환하지만, 타입스크립트에서 "이 함수의 반환값은 사용하지 않는다"는 의도를 표현할 때 void를 쓴다.function func2(): void { console.log("hello"); // 명시적인 ret..