대수 타입
1.대수 타입(Algebraic Types)이란?
대수 타입이란 여러 타입을 조합하여 새로운 타입을 만들 수 있는 기능을 말한다.
종류로는 유니온 타입(Union Types),인터섹션 타입(Intersection Types)이 있다.
타입을 집합으로 생각할 때, 집합 간의 연산을 표현하는 방식으로 이해할 수 있다.
유니온 타입은 합집합에 해당하고 인터섹션 타입은 교집합에 해당한다.
1️⃣인터섹션 타입-교집합
인터섹션 타입은 &을 이용해서 교집합 타입을 만든다. 이러한 교집합 타입은 객체타입에서 많이 사용된다.
일반 원시값으로 사용하면 서로 교집합 하는 부분이 없기 때문에 never를 반환하게 된다.
👉🏻원시 타입
let variable : number & string
👉🏻객체 타입
Type Dog = {
name:string;
howling:boolean;
}
Type Cat = {
name:string;
grooming:boolean;
}
type Intersection = Dog & Cat
let intersection:Intersection = {
name:'개냥이',
howling:true,
grooming:true,
}
교집합인 name,howling,grooming의 속성을 만족하는 값만 들어올 수 있게 된다.
2️⃣유니온 타입-합집합
여러 개의 타입을 하나의 타입으로 결합하는 방법이다.
기호(|)를 사용하여 타입들을 나열해 표현한다.
👉🏻기본 타입
let a : string | number;
a = 1; //ok!
a = "hello"; //ok!
string과 number 모두를 포함하기 때문에 둘 다 사용가능.
👉🏻객체 타입
type Dog = {
name:string;
howling:boolean
}
type Cat = {
name:string;
grooming:boolean;
}
type Mixed = Dog | Cat
const cat:Mixed = {
name:"고양이",
grooming:true,
}
const dog:Mixed = {
name:"강아지",
howling:true,
}
const dogCat:Mixed = {
name:"개냥이",
howling:true,
grooming:true
}
이렇게 {name,howling}, {name,grooming} , {name,howling,grooming}
교집합 까지 포함한 세 가지의 형식을 사용할 수 있는 것이다.
2.서로소 유니온 타입(disjoint union type)
서로 중복되지 않는 타입들의 합집합을 표현하는 방법이다. 각각의 타입은 서로 독립적이며,
공통된 속성이 없는 타입들을 조합하여 새로운 타입을 만들 수 있다.
이런 서로소 유니온 타입에서는 구별된 유니온(Discriminated Union)이라는 것을 사용할 수 있다.
이것은 공통된 속성을 사용하여 각각의 타입을 식별할 수 있도록 하여 가독성와 유지보수성을 향상시킨다.
type Dog = {
name: string;
howling: boolean;
};
type Cat = {
name: string;
grooming: boolean;
};
type Bird = {
name: string;
wing: boolean;
};
type Pet = Dog | Cat | Bird;이러한 서로소 유니온 타입이 있다.
function animal(pet: Pet) {
if ("howling" in pet) {
console.log(`${pet.name}는 하울링을 합니다.`);
} else if ("grooming" in pet) {
console.log(`${pet.name}는 그루밍을 합니다.`);
} else if ("wing" in pet) {
console.log(`${pet.name}는 날개가 있습니다.`);
}
}매개 변수로 들어오는 pet에 따라 출력이 변경되도록 하기 위해 타입가드를 사용하여 타입을 좁혀줄 수 있다.
이렇게 동작하는것에는 문제는 없지만 구별된 유니온을 사용하여 가독성을 높일 수 있다.
type Dog = {
type: "강아지";
...
};
type Cat = {
type: "고양이";
...
};
type Bird = {
type: "새";
...
};이렇게 공통의 속성인 type을 추가하고 이를 문자열 리터럴로 정의해준다.
이것을 이용해서 다시 타입가드의 가독성을 높일 수 있다.
function animal(pet: Pet) {
if (pet.type === "강아지") {
console.log(`${pet.name}는 하울링을 합니다.`);
} else if (pet.type === "고양이") {
console.log(`${pet.name}는 그루밍을 합니다.`);
} else if (pet.type === "새") {
console.log(`${pet.name}는 날개가 있습니다.`);
}
}또는 switch문을 사용해서 만들 수 있다.
function animal(pet: Pet) {
switch(pet.type){
case "강아지":{
console.log(`${pet.name}는 하울링을 합니다.`);
break;
}
case "고양이":{
console.log(`${pet.name}는 그루밍을 합니다.`);
break;
}
case "새":{
console.log(`${pet.name}는 날개가 있습니다.`);
break;
}
}
}이렇게 구분이 가능한것은 속성에 스트링 리터럴을 사용했기 때문이다.
교집합이 생기기 위해서는 똑같은 스트링 리터럴을 가져야 하는데 그것은 불가능 하기 때문에
집합의 관계들이 완전한 서로소 집합이 되어버린다.