상태 머신 모델링
판별 유니언으로 유한한 상태를 표현합니다.
상태 머신 모델링은(는) CoddyKit의 무료 TypeScript Academy 강의입니다. 이것은 4개 중 4번째 강의입니다. 아래에서 전체 강의를 무료로 읽을 수 있으며, 내장 코드 에디터와 24/7 AI 튜터와 함께 브라우저에서 직접 실습할 수 있습니다. 이 강의는 TypeScript Academy 학습 경로의 일부이며, 진행 상황이 웹과 CoddyKit 앱에 동기화됩니다. TypeScript Academy 강의에는 총 4개의 강의가 포함되어 있습니다.
판별 유니온으로 표현하는 상태
UI와 비동기 흐름에는 대기, 로딩, 성공, 오류처럼 서로 구분되는 상태가 있습니다. 이를 판별 유니온으로 모델링하면 각 상태가 필요한 데이터만 정확히 가지게 됩니다.
type State =
| { status: "idle" }
| { status: "loading" }
| { status: "success"; data: string }
| { status: "error"; message: string };
const s: State = { status: "idle" };
console.log(s.status);상태별 데이터
success 상태에만 data가 있고 error 상태에만 message가 있습니다. 대기와 로딩 상태에는 추가 데이터가 없으므로 오래된 데이터가 상태 사이로 유출되는 것을 방지합니다.
type State =
| { status: "idle" }
| { status: "loading" }
| { status: "success"; data: number[] }
| { status: "error"; message: string };
const ok: State = { status: "success", data: [1, 2, 3] };
console.log(ok.status, "data" in ok ? ok.data : null);각 상태 렌더링하기
status를 기준으로 switch하는 함수는 각 상태에 맞는 출력을 렌더링할 수 있으며, 멤버 필드는 해당 필드가 존재하는 경우에만 사용할 수 있습니다.
type State =
| { status: "idle" }
| { status: "loading" }
| { status: "success"; data: string }
| { status: "error"; message: string };
function view(s: State): string {
switch (s.status) {
case "idle": return "Ready";
case "loading": return "Loading...";
case "success": return "Got: " + s.data;
case "error": return "Failed: " + s.message;
}
}
console.log(view({ status: "success", data: "users" }));전환 정의하기
상태 머신은 전환을 통해 상태 사이를 이동합니다. 전환 함수는 현재 상태와 이벤트를 받아 다음 상태를 반환합니다.
type State =
| { status: "idle" }
| { status: "loading" }
| { status: "success"; data: string }
| { status: "error"; message: string };
function start(s: State): State {
if (s.status === "idle") return { status: "loading" };
return s;
}
console.log(start({ status: "idle" }).status);이벤트도 모델링하기
이벤트 자체도 판별 유니온으로 만들 수 있습니다. 각 이벤트 타입은 특정 전환을 일으킵니다.
type Event =
| { type: "FETCH" }
| { type: "RESOLVE"; data: string }
| { type: "REJECT"; message: string };
const e: Event = { type: "RESOLVE", data: "ok" };
console.log(e.type);완전한 전환 함수
하나의 리듀서에서 상태 유니온과 이벤트 유니온을 조합합니다. 두 유니온을 기준으로 switch하면 모든 전환이 명시적으로 드러나고 타입 안전하게 유지됩니다.
type State =
| { status: "idle" }
| { status: "loading" }
| { status: "success"; data: string }
| { status: "error"; message: string };
type Event =
| { type: "FETCH" }
| { type: "RESOLVE"; data: string }
| { type: "REJECT"; message: string };
function reduce(s: State, e: Event): State {
if (e.type === "FETCH") return { status: "loading" };
if (e.type === "RESOLVE") return { status: "success", data: e.data };
return { status: "error", message: e.message };
}
console.log(reduce({ status: "idle" }, { type: "FETCH" }).status);잘못된 상태는 표현할 수 없습니다
data와 error message를 동시에 가질 수는 없습니다. 유니온 설계는 모순되는 상태를 구조적으로 금지합니다.
type State =
| { status: "success"; data: string }
| { status: "error"; message: string };
// const bad: State = { status: "success", data: "x", message: "y" };
// Allowed extra props would be flagged in strict object checks.
console.log("no contradictory states");잘못된 전환 방어하기
현재 상태에 적용되지 않는 이벤트는 무시할 수 있습니다. 그러면 오류가 발생하는 대신 상태 머신이 일관된 상태를 유지합니다.
type State = { status: "idle" } | { status: "loading" };
type Event = { type: "FETCH" } | { type: "CANCEL" };
function reduce(s: State, e: Event): State {
if (s.status === "loading" && e.type === "CANCEL") return { status: "idle" };
if (s.status === "idle" && e.type === "FETCH") return { status: "loading" };
return s; // ignore invalid combos
}
console.log(reduce({ status: "loading" }, { type: "CANCEL" }).status);완전성 검사 추가하기
리듀서에 assertNever를 함께 사용하면 새 상태나 이벤트를 추가했을 때 업데이트해야 하는 모든 위치가 드러납니다.
function assertNever(x: never): never { throw new Error("unhandled"); }
type State = { status: "idle" } | { status: "loading" } | { status: "done"; data: string };
function view(s: State): string {
switch (s.status) {
case "idle": return "idle";
case "loading": return "loading";
case "done": return s.data;
default: return assertNever(s);
}
}
console.log(view({ status: "done", data: "ok" }));초기 상태와 최종 상태
명확한 시작 상태(대개 idle)와 종료 상태(success 또는 error)를 지정합니다. 이렇게 하면 상태 머신의 수명 주기가 문서화됩니다.
type State =
| { status: "idle" }
| { status: "loading" }
| { status: "success"; data: string }
| { status: "error"; message: string };
const initial: State = { status: "idle" };
console.log("Start:", initial.status);완전한 미니 상태 머신
전체 흐름은 다음과 같습니다. 대기 상태에서 시작하고, 가져오기를 수행해 로딩 상태로 이동한 다음, 완료되면 성공 상태가 됩니다. 타입이 각 단계를 정확하게 검증합니다.
type State = { status: "idle" } | { status: "loading" } | { status: "success"; data: string };
type Event = { type: "FETCH" } | { type: "RESOLVE"; data: string };
function reduce(s: State, e: Event): State {
if (e.type === "FETCH") return { status: "loading" };
return { status: "success", data: e.data };
}
let st: State = { status: "idle" };
st = reduce(st, { type: "FETCH" });
st = reduce(st, { type: "RESOLVE", data: "hi" });
console.log(st.status, st.status === "success" ? st.data : "");빠른 확인: 상태 머신
상태 머신 모델링에 대한 이해도를 확인해 보세요.
복습: 상태 머신 모델링
대기, 로딩, 성공, 오류를 판별 유니온으로 모델링하고, 상태 유니온과 이벤트 유니온을 기반으로 타입 안전한 전환을 작성했으며, 상태 머신이 확장될 때도 올바르게 유지되도록 완전성 검사를 사용했습니다.
type State = { status: "idle" } | { status: "loading" } | { status: "success"; data: string };
const s: State = { status: "success", data: "done" };
console.log(s.status === "success" ? s.data : "");자주 묻는 질문
“상태 머신 모델링” 강의는 무료인가요?
네 — “상태 머신 모델링” 전체 내용을 이 웹사이트에서 무료로 읽을 수 있습니다. 인터랙티브하게 실습하려면(내장 코드 에디터와 24/7 AI 튜터), CoddyKit PRO로 업그레이드하면 TypeScript Academy 강의 전체를 잠금 해제할 수 있습니다. TypeScript Academy 강의에는 총 4개의 강의가 포함되어 있습니다.
“상태 머신 모델링”에서 뭘 배우나요?
판별 유니언으로 유한한 상태를 표현합니다. 브라우저에서 직접 실행하는 실습 코드로 TypeScript Academy을(를) 배우며, 24/7 AI 튜터가 강의를 진행하면서 질문에 답변해줍니다.
TypeScript Academy을(를) 시작하는 데 경험이 필요한가요?
사전 경험은 필요하지 않습니다. CoddyKit의 TypeScript Academy은(는) 초급자부터 고급 학습자까지를 위해 구성되어 있으므로, 여기서 시작하거나 처음부터 시작할 수 있으며 자신의 속도대로 진행할 수 있습니다. 이것은 4개 중 4번째 강의입니다.
“상태 머신 모델링” 강의는 얼마나 걸리나요?
대부분의 CoddyKit 강의는 약 5~10분이 소요됩니다. 각 강의는 간결하고 인터랙티브하여 꾸준한 진행이 가능하며, 웹과 앱에서 중단한 부분부터 바로 시작할 수 있습니다.
이 TypeScript Academy 강의에서 코드를 작성하고 실행할 수 있나요?
네. 모든 TypeScript Academy 강의에는 내장 코드 에디터가 포함되어 있으므로, 브라우저에서 바로 실제 코드를 작성하고 실행한 후 즉시 AI 피드백을 받을 수 있습니다 — 로컬 설정이 필요 없습니다.