🖥️Frontend/TypeScript2 [TypeScript] 공변성, 반공변성 타입의 공변성, 반공변성 타입 스크립트 강의나 블로그를 보면 공변성, 반공변성 이란 단어가 등장하게 된다. 처음 들어보는 단어라 블로그 예시를 찾아보았다. 공변성(Covariance) A가 B의 서브타입이면, T는 T의 서브타입이다. 반공변성(Contravariance) A가 B의 서브타입이면, T는 T의 서브타입이다. 이변성(Bivariance) A가 B의 서브타입이면, T → T도 되고, T → T도 된다. 불변성(Immutability) A가 B의 서브타입이더라도, T → T도 안되고, T → T도 안된다. 이는 타입 스크립트에서 타입 간에 서로 대입을 할 때 되는 경우와 안되는 경우를 파악하기 위해 알아두어야 하는 단어이다. 타입 스크립트를 사용하다보면 어떤 타입은 다른 타입에 들어가는데 어떤 타.. 🖥️Frontend/TypeScript 2023. 11. 13. [TypeScript] never never Type은 가능한 값의 집합이다. 예를 들면 string 타입은 가능한 모든 문자열의 집합을 의미한다. 따라서 변수의 타입을 지정하면, 해당 변수는 오직 지정한 타입에 가능한 값만을 가질 수 있다. TypeScript에서 never 타입은 값의 공집합이다. 그래서 never를 TypeScript의 바닥타입이라고 부르기도 한다. 집합에 어떤 값도 없기 때문에 never 타입은 any 타입의 값을 포함해 어떤 값도 가질 수 없다. type IsNever = T extends never ? true : false; type A = IsNever; type B = IsNever; 위 코드에서 Type A는 true, Type B는 false를 반환할 것 같지만 그렇지 않다. 코드를 직접 작성해서 확인.. 🖥️Frontend/TypeScript 2023. 11. 9. 이전 1 다음