TypeScript 고급 상태 모델링: 판별 유니온과 never 타입 테스트

중간부터 시작하는 전체 파일과 적용 순서

이번 글 시작 ZIP · 이번 글 완료 ZIP

시작 ZIP은 직전 프로젝트 단계 typescript-step-14-conditional-types의 실제 완료 파일입니다. 프로젝트 순서를 이어가는 기준이며 사이트의 기술 읽기 순서와는 구분합니다.

1. 시작 ZIP을 새 폴더에 풉니다. 이 폴더가 작업 루트이며 기존 체크포인트 파일을 별도로 찾을 필요가 없습니다.
2. 상태 유니온 파일의 누락 import를 보완하고 상태별 메시지 함수를 연결합니다.
3. 아래 변경 파일을 같은 상대 경로에 추가하거나 전체 교체합니다. 표시하지 않은 파일과 images는 시작본 그대로 유지합니다. package-lock.json은 완료 ZIP에 있는 파일을 함께 적용합니다.
4. 작업 루트에서 명령을 실행하고 예상 결과를 확인합니다. 완료 ZIP은 직접 적용한 결과를 비교하는 기준입니다.

추가·교체 파일

• CHANGES.md — 전체 교체
• README.md — 전체 교체
• tests/contracts.ts — 전체 교체
• src/types/state.ts — 추가
• src/core/state.ts — 추가

실행과 확인

npm ci
npm run dev
npm run typecheck
npm test
npm run build

개발 서버는 실행 상태로 두고 다른 터미널에서 검사 명령을 실행하세요. Node.js 24.18.0에서 검증했습니다. JavaScript는 http://127.0.0.1:4173, TypeScript는 Vite 실행 출력의 주소로 접속합니다.

예상 결과: idle/loading/success/error 네 상태의 메시지를 확인하며 success 빈 배열은 0개 작업입니다.

실제 검증: TypeScript strict 검사·긍정/부정 타입 계약·런타임 검사·Vite 빌드 통과. 시작 ZIP에 이 글의 변경 파일만 적용한 결과와 완료 ZIP의 모든 파일 내용이 일치했습니다. 브라우저 화면 배치·실제 기기·외부 CDN 가용성은 이 검사에 포함하지 않았습니다.

이 절의 전체 파일은 ZIP과 일치합니다. 위쪽 원문의 짧은 예제나 생략 표시가 있는 부분 코드는 개념·변경 위치 설명용입니다. 서버 저장과 인증은 제공하지 않으며 JSON fixture는 로컬 읽기 실습용입니다.

복사할 변경 파일 전체 코드

tests/contracts.ts — 전체 파일

import type { Task } from '../src/types/task.js';
const valid: Task = {id:'1',title:'공부',completed:false};
// @ts-expect-error completed must be boolean
const invalid: Task = {id:'1',title:'공부',completed:'no'};
void valid; void invalid;
import { readTitle } from '../src/core/selection.js';
const nullable = readTitle(null);
// @ts-expect-error null result must be narrowed
const definite: string = nullable;
void definite;
import type { TaskKey } from '../src/types/task-key.js';
// @ts-expect-error nonexistent property
const badKey: TaskKey = 'missing';
void badKey;
import { TASK_FILTER_LABELS } from '../src/constants/task.js';
// @ts-expect-error missing is not a filter key
const badLabel = TASK_FILTER_LABELS.missing;
void badLabel;
import { getValue } from '../src/core/collection.js';
// @ts-expect-error nonexistent key must fail
getValue({title:'ok'}, 'missing');
import type { TaskFormDirty } from '../src/types/form.js';
// @ts-expect-error completed is required by mapped type
const dirty: TaskFormDirty = {title:true};
void dirty;
import type { AsyncResult } from '../src/types/async.js';
const result: AsyncResult<Promise<Task[]>> = [];
// @ts-expect-error Promise value must resolve to Task array
const wrongResult: AsyncResult<Promise<Task[]>> = 1;
void result;void wrongResult;
import type { TaskLoadState } from '../src/types/state.js';
// @ts-expect-error success requires data
const wrongState: TaskLoadState = {status:'success'};
void wrongState;

src/types/state.ts — 전체 파일

import type { Task } from './task.js';
export type TaskLoadState =
  | {
      status: 'idle';
    }
  | {
      status: 'loading';
    }
  | {
      status: 'success';
      data: Task[];
    }
  | {
      status: 'error';
      error: Error;
    };

src/core/state.ts — 전체 파일

import type { TaskLoadState } from '../types/state.js';
export function getStateMessage(
  state:
    TaskLoadState,
): string {
  switch (state.status) {
    case 'idle':
      return '대기 중';
    case 'loading':
      return '불러오는 중';
    case 'success':
      return `${state.data.length}개 작업`;
    case 'error':
      return state.error.message;
  }
}