Statecharts：階層型ステートマシンの実践
TLDR
- Statechartは、ネスト・並行性・履歴状態・ガード条件をFSMに追加することで、複雑な振る舞いを明示的かつ視覚的に表現できる。
Key Takeaways
- Statechartは基本的な有限状態機械の上に、階層・直交性（並行リージョン）・履歴擬似状態・ガード付き遷移を追加する。
- 階層により状態爆発を防止：ネストされた状態が関連する振る舞いをまとめるため、システムの複雑度が増してもダイアグラムを管理可能に保てる。
- 不可能な状態を型レベルで排除し、すべての遷移を明示的にモデル化させることで、暗黙的な条件ロジックを減らせる。
- メリットと同時にデメリットも解説されており、statechartが過剰になるケースとad-hocなbooleanフラグより優れるケースの両方が示されている。
- 非形式的な制御フローから形式的なstatechart定義への変換を、具体的なbefore/after比較で示す実践的な例が含まれる。
Hacker News コメントレビュー
- 履歴擬似状態（H、H*）は微妙な正当性の罠：ダイアグラムに描かれない潜在的な状態を生み出し、「現在の状態は入力の純粋関数」というstatechartの推論しやすさを損なう。
- 既存コードベースへのstatechart後付けが最も多い失敗パターン；実務家によれば、statechart制御コードとそれ以外のシステムの境界こそが最大の問題であり、statechart自体ではないという報告が多い。
- データの共置は未解決の緊張点：statechartは振る舞いとデータを分離するが、TypeScriptの判別共用型のように状態固有のデータを各状態バリアントにまとめる方が人間工学的に優れる場合がある。
注目コメント
- @davidkpiano：XState作者（10年以上）；「statechartは単なるドキュメントではなく、実行可能な振る舞いとして扱うときに最も価値を発揮する。」
- @hasyimibhar：Temporal、DBOS、Cloudflare WorkflowsといったDurable Executionエンジンとstatechartを組み合わせて長期ビジネスプロセスを扱えるかを問う。
- @neilv：本番環境2件でstatechartを実装：波括弧エンコーディングをJavaにコンパイルし、初期フレームワークのバグを回避するためSwiftUIコメントにASCIIアートのstatechartを記述した。
英語版: Statecharts: hierarchical state machines · Original source
