코틀린의 타입 시스템은 어떻게 구성되어 있나요?

FAQ: 코틀린 타입 시스템

Q1: 코틀린 타입 시스템의 핵심 철학은 무엇인가요?
A1:
- 정적 타입 검사(compile-time)로 안전성 확보
- Null 안전(null-safety) 내장
- JVM/JS/Native 플랫폼 간 일관된 모델 유지
- 타입 추론(type inference)으로 가독성 향상

Q2: Any, Unit, Nothing 세 가지 최상위 타입은 어떤 역할을 하나요?
A2:
- Any: 모든 non-null 타입의 슈퍼타입
- Any? : Any에 null을 허용한 Nullable 슈퍼타입
- Unit: 반환값이 없는 함수의 반환 타입(자바의 void와 유사하나 인스턴스 Unit 객체 반환)
- Nothing: 어떤 값도 반환하지 않는 타입(항상 예외를 던지거나 무한 루프인 함수의 반환)

Q3: Null 안전은 어떻게 구현되어 있나요?
A3:
1. Non-null 타입(예: String) vs Nullable 타입(예: String?) 구분
2. “?.”, “?:”, “!!” 연산자 제공
- ?. (safe-call): null이면 연산 중단 후 null 반환
- ?: (Elvis): 왼쪽이 null이면 오른쪽 대체
- !! (non-null 단언): null이면 NPE 발생
3. 스마트 캐스트(smart cast): null 검사 뒤 자동 언박싱

Q4: 제네릭(Generic)과 분배성(variance)은 어떻게 다루나요?
A4:
- 공변성(covariant, out): Producer 역할—List
- 반공변성(contravariant, in): Consumer 역할—Comparator
- 공변/반공변이 필요 없는 경우 타입 프로젝션(*)
- 제네릭은 기본적으로 불변(invariant)

Q5: 재ified 타입 파라미터란 무엇이고 언제 쓰나요?
A5:
- inline 함수에서만 사용 가능
- 컴파일 시 제네릭 타입 정보를 유지(reified)
- 클래스 리플렉션(javaClass()), 타입 체크(is T) 등에 유용

Q6: 플랫폼 타입(platform type)은 무엇인가요?

A6:
- 자바 등 외부 코드와 상호 운용 시 null 안전 정보 부재로 인해 생성
- 타입이 T! 형태로 표시되며 컴파일러가 null 체크를 강제하지 않음
- 개발자가 필요 시 명시적 Nullable(?) 또는 non-null 타입으로 처리

Q7: 함수형 타입(Function types)도 타입 시스템에 포함되나요?
A7:
- (P1, P2) -> R 형태로 표현
- 고차 함수(higher-order function) 지원
- nullable 함수 타입 ((Int) -> String)? 가능

Q8: 스마트 캐스트(smart cast)는 어떻게 동작하나요?
A8:
- 로컬 변수나 val 프로퍼티에 한해 if (x is String) 검사 뒤 자동으로 String 타입으로 취급
- Mutable var 프로퍼티나 커스텀 접근자에는 적용되지 않음

Q9: 타입 별칭(type alias)의 용도는?
A9:
- 복잡한 타입에 의미 있는 별칭 부여
- 예: typealias UserMap = Map
- 컴파일 시 별칭은 제거되고 원본 타입으로 대체

Q10: 서브타이핑(subtyping) 규칙은 어떻게 되나요?
A10:
- S가 T의 서브타입이면, S를 기대하는 곳에 T 대신 사용할 수 없음(invariant)
- out T 공변일 때 S <: T이면 List <: List
- in T 반공변일 때 T <: S이면 Comparable <: Comparable

Q11: 교차 타입(intersection type)과 동적 타입(dynamic type)은 있나요?
A11:
- 교차 타입 T & U: 컴파일러 내부적으로 스마트 캐스트 시 사용
- dynamic: Kotlin/JS 전용, 타입 체크를 컴파일 타임에 하지 않음

Q12: 타입 시스템에서 체크되지 않는 예외는 있나요?
A12:
- Checked Exception 개념 없음(모든 예외 unchecked)
- Null 안전은 컴파일 시 보장하지만 리플렉션, platform types, `!!` 연산자 사용 시 런타임 NPE 가능

– 끝 –

코틀린의 CoroutineScope와 GlobalScope의 차이는 무엇인가요?

코틀린에서 비동기 작업을 처리하는 방법은?