---
name: principle-type-system-discipline
description: "不正な状態を表しにくい型、境界のパース、網羅的な分岐を設計する。型付き言語の実装・シグネチャのレビューに使う。"
---

最初に [共通の読み替え](../../pstack/runtime.md)、続いて [原文](../../upstream/pstack/skills/principle-type-system-discipline/SKILL.md) を全文読む。
読み替えを原文と参照資料に適用し、ユーザーの依頼または親から渡された対象について作業する。参照資料・スクリプトの相対パスは原文の場所から解決する。