타입과 집합, 호환성, 트리 - Winterlood

[utterances-bot]

타입과 집합, 호환성, 트리 - Winterlood

https://www.winterlood.com/post/7e7f56ae-91c8-4aab-9494-fbf7ae7e4805

[sleeep23]

좋은 글 감사합니다! 정말 많은 걸 배우고 가네욥😆😆!!

[sunrabbit123]

안녕하세요~!
글 잘 읽었습니다

다만, 계층도가 잘못그려진건지 제가 잘못알고있는건지
궁금해서 댓글 남기게 되었습니다.

계층도에 따르면 any는 unknown의 서브타입인데
tsc 는 그러질않으니 any의 경우 따로 빼놓아야되는건 아닌가 싶어요

const a : any = 1 as unknown;
const b : unknown = 2 as any;

type Any1 = any | unknown;
//   ^?
type Any2 = any & unknown;
//   ^?

type Any3 = any & never;

또한 집합론적으로 봤을 때, never는 공집합이고, any는 전체집합이 아닌지요?

본문에서 얘기됐던거처럼 any가 치트키라면
집합론적인 관점이 아닌, 범주론으로 바라봐야되는건 아닌가 궁금하네요

[sunrabbit123]

추가로 any & string 과 unknown & string의 동작 차이도 같이 서술되었으면 좋겠네요

[winterlood]

@sunrabbit123
안녕하세요 답글 남겨주셔서 감사합니다 😃
우선 남겨주신 답글 덕분에 제가 써놓은 내용을 다시 한번 돌아보고 생각해볼 수 있어서 좋았습니다 감사해요!!

우선 타입 계층도의 경우 오렐리의 'Programming Typescript' 책에 나온 타입 계층도를 참고해 제작했습니다.

여러 타입 계층도중 이 모델을 채택한 이유는 더 순순하게 전체 집합을 의미하는 타입은 unknown 타입이라고 생각해서 그렇습니다. 부분집합으로의 타입캐스팅(다운 캐스팅)이 기본적으로 불가능한 타입스크립트에서 전체 집합을 표현하기에는 any 보다는 unknown이 더 적절하다고 생각합니다.

any 타입 역시 unknown을 포함한 모든 타입이 업캐스팅 가능하므로 전체집합으로 생각할 수 있습니다. 그러나 unknown과는 달리 이 타입은 never 타입을 제외한 모든 집합의 부분집합으로도 존재할 수 있기에 아주 예외적인 타입으로 집합론의 관점에서 바라볼 수 없다고 생각합니다 (사실상 타입 검사를 포기하는 타입이므로 치트키 라는 표현을 사용했습니다)

[sunrabbit123]

치트키라고 따로 언급될만한 키워드긴하죠
그렇다면 아예 그래프에서 예외시켜버리는 방법도 있었을텐데 서브 타입으로 넣으신 이유가 있나요??