구조적 타이핑과 객체 타입 이해하기 - Winterlood

[utterances-bot]

구조적 타이핑과 객체 타입 이해하기 - Winterlood

https://www.winterlood.com/post/b4494f88-b74d-4aec-9780-275686952a02

[sunrabbit123]

글을 읽다가 문득 의문이 들어 댓글 남기게 되었습니다.

type DogPerson = Person & Dog;

// 만들어진 교집합 타입
// {
//   name: string;
//   breed: string;
//   loc: string;
// }

let dog: Dog = dogPerson;
let person: Person = dogPerson;

만약 intersection이 교집합이라면 name만 남았을터이니,
intersection 연산은 합집합이라고 생각합니다

[winterlood]

@sunrabbit123

안녕하세요! 답글 남겨주셔서 감사합니다 😃
우선 타입스크립트에서 & 연산자를 이용해 만드는 intersection 타입은 교집합을 의미합니다.
intersection 자체가 우리말로 교집합 이라는 뜻 입니다

또 타입간의 교집합은 "두 타입이 포함하는 공통의 값"을 의미 합니다
따라서 Person과 Dog 타입의 교집합 타입은 Person이 될 수도 Dog가 될 수도 있는 타입 이어야합니다.
즉 두 타입 모두의 서브타입(부분 집합)이어야 합니다.

따라서 말씀주신 것 처럼 "name 프로퍼티만 남은 집합"은
Person과 Dog 타입의 교집합으로 보기 어렵습니다.

[sunrabbit123]

@winterlood
교집합은 사전적 의미로써 두 집합의 공통적인 원소가 모인 집합입니다.
타입간의 교집합이라 하더라도 결국 집합간의 공통의 원소가 모인 집합이기도하고요.

고로 Person과 Dog 두 집합의 교집합이라면 { name : string } 이라는 교집합이 되어야하고요
오히려 Person과 Dog 두 집합의 모든 원소들을 지니는 집합이라면
그것은 Person과 Dog의 합집합 아닌가요?

[sunrabbit123]

교차라는 단어를 교집합으로써 생각할 것이 아닌
두가지 타입이 교차될 수 있는 타입으로 생각해야 되는건 아닌지 문득 생각이 드네요

그렇게 본다면 두가지 타입이 교차된다는건
두가지 타입이 공존한다는 것이고, 그것이 합집합이니까요

[winterlood]

@sunrabbit123
먼저 타입은 동일한 속성과 메서드를 갖는 값의 집합입니다.
따라서 타입간의 교집합은 공통되는 프로퍼티가 아닌, 값의 교집합으로 봐야 합니다.

또 교집합은 본래 집합보다 큰 집합일 수 없습니다.
그리고 타입스크립트에서는 { name : string } 이 { name : string; age : number } 보다 큰 집합입니다.
타입스크립트는 구조적 타이핑을 따르기 때문에 그렇습니다.
자세한 내용은 아래의 글을 참고하시면 이해하시기 더 편하실 겁니다
https://www.zhenghao.io/posts/type-hierarchy-tree#nominal-and-structural-typing

그렇기 때문에 { name : string } 이 { name : string; age : number } 의 슈퍼타입이 되는 것이고 업캐스팅 또한 가능합니다.
그러므로 말씀하신대로 Person 과 Dog의 교집합이 { name : string }이 될수는 없습니다.
그렇게 되면 교집합이 Person과 Dog보다 큰 집합이 되는데 이것은 모순입니다.
아래 링크의 아티클을 추천드립니다.
https://yozm.wishket.com/magazine/detail/1661/

또 교차(Intersection)이라는 단어를 교집합으로 생각할 것이 아니라는 생각이 든다고 하셨는데요
intersection은 교차 이외에도 교집합 이라는 뜻을 갖고 있습니다.
사실 교집합이 영어로 하면 intersection입니다 ㅎㅎ..
다음 링크를 참고해보시면 좋겠습니다.
https://ko.wikipedia.org/wiki/%EA%B5%90%EC%A7%91%ED%95%A9

[sunrabbit123]

오 타입으로써 표현 가능한 값들의 집합이라면
확실히 intersection이라는 용어가 이해가 되네요