🔷 타입 별칭을 활용한 유니언 타입 정의

## 개요
유니언 타입은 여러 타입 중 하나를 가질 수 있는 변수를 정의하는 문법입니다. 이는 조건부 로직에서 타입을 구분해 주어 안정적인 코드 작성을 가능하게 합니다.

## 주요 특징
- 여러 타입을 '|'로 연결하여 복합 타입 선언
- 타입 가드를 통해 변수의 실제 타입을 분기 처리
- 인터페이스와 결합해 다형성 구현 가능

## 사용법
```ts
type PaymentMethod = 'credit-card' | 'paypal' | 'bank-transfer';

function processPayment(method: PaymentMethod) {
if (method === 'credit-card') {
// 신용카드 결제 로직
} else if (method === 'paypal') {
// PayPal 결제 로직
}
}
```

## 주의사항
- 유니언 타입은 반드시 정의된 타입 중 하나만 사용 가능
- undefined나 null을 포함시킬 경우 명시적으로 추가해야 함
- 타입 가드를 통해 타입 축소가 필요할 때는 'typeof' 또는 'instanceof' 사용

## 관련 문법
- 인터페이스(Interface)
- 타입 추론(Type Inference)
- 타입 가드(Type Guards)

type UserStatus = 'active' | 'inactive' | 'pending';

interface ActiveUser {
  id: number;
  name: string;
}

interface InactiveUser {
  userId: string;
  reason: string;
}

function getUserInfo(user: { status: UserStatus } & (ActiveUser | InactiveUser)) {
  if (user.status === 'active') {
    console.log(`활성 사용자: ${user.name}`);
  } else {
    console.log(`비활성 사용자: ${user.reason}`);
  }
}