state.kind
loading, success, error처럼 모든 상태를 하나의 구분 필드로 나눕니다.
상태 유니온 Exhaustive Checking
구분 필드가 있는 유니온을 switch와 never 검사로 연결하면 새 상태에 빠진 UI 분기를 컴파일 단계에서 찾습니다.
switch
kind 값마다 필요한 UI와 처리를 한 군데에서 선택합니다.
새 상태 추가
empty 같은 상태가 늘면 처리하지 않은 타입이 default에 남습니다.
assertNever
남은 값이 never가 아니면 컴파일 오류를 내 누락된 분기를 드러냅니다.
핵심Exhaustive checking은 실행 중 예외가 아니라 상태 모델 변경 시 빠진 분기를 즉시 알리는 타입 안전망입니다.