기로그 기로그

1.대수 타입(Algebraic Types)이란? 대수 타입이란 여러 타입을 조합하여 새로운 타입을 만들 수 있는 기능을 말한다. 종류로는 유니온 타입(Union Types),인터섹션 타입(Intersection Types)이 있다. 타입을 집합으로 생각할 때, 집합 간의 연산을 표현하는 방식으로 이해할 수 있다. 유니온 타입은 합집합에 해당하고 인터섹션 타입은 교집합에 해당한다. 1️⃣인터섹션 타입-교집합 인터섹션 타입은 &을 이용해서 교집합 타입을 만든다. 이러한 교집합 타입은 객체타입에서 많이 사용된다. 일반 원시값으로 사용하면 서로 교집합 하는 부분이 없기 때문에 never를 반환하게 된다. 👉🏻원시 타입 let variable : number & string 👉🏻객체 타입 Type Dog = {..