지금까지 배운 타입 표기법을 이용해서 타입을 더 직관적으로 표현할 수 있다.아래 코드를 먼저 보자. 딱히 문제 있는 코드는 아니다. 코드를 보면 위에 각각의 타입을 정의할 때는 어떤 타입인지 알기 쉬우나, 실제로 사용되는 login 함수에서는 각 조건 분기가 어떤 타입으로 좁히는지 직관적으로 알기가 어렵다.이렇게 코드를 작성할 경우 나중에 다른 사람이 유지보수를 할 경우 이 코드를 이해하기까지 시간이 많이 필요할 것 같다.이럴 때는 다음과 같이 두 가지 개선방안이 있다.코드에 주석 달아서 설명하기서로소 유니온 타입으로 만들어서 직관성 높이기주석 다는 것이야 쉬우니 넘어가고 여기서는 2번 방법을 소개하려 한다.서로소 유니온 타입이란?조금 말이 어렵게 표현되었는데 우선 서로소란 두 수 사이에 1을 제외한 공..
