specsfy-specialist-typescript

TypeScript

ワークフロー

1. tsconfig、package type、バンドラー、ランタイム、バージョンを確認します。
2. 信頼できない境界と公開型を特定します。
3. union、narrowing、不変条件を使って有効な状態をモデル化します。
4. 内部では型を推論させ、契約を安定させる必要がある API には型注釈を付けます。
5. 変更箇所では、正当な理由のない any、アサーション、! を排除します。
6. 外部データは、型を付ける前にランタイムで検証します。
7. 実際のターゲットで型チェック、テスト、lint、ビルドを実行します。

パターン

• 互換性のある strict オプションを有効にし、見た目だけのキャストを使わずにエラーを修正します。
• 無効な組み合わせを生む boolean より、判別可能な union を優先します。
• 境界では unknown を使い、明示的に narrowing します。
• ジェネリクスは最小限にし、値同士の実際の関係に結び付けます。
• リテラルオブジェクトや union で相互運用性を保てる場合は、enum を避けます。
• type-only import を分離し、プロジェクトの ESM/CJS に従います。
• 推論のリグレッションが懸念される場合は、公開型をテストします。

検証

• 出力なしの型チェックと、すべてのターゲットのビルド。
• バリデーションとシリアライズのランタイムテスト。
• ライブラリの場合は API 宣言を確認し、利用側との互換性を検証します。
• suppressions、二重キャスト、重複した型を重点的に検索します。

モデル化、設定、モジュール、ライブラリ、ランタイム検証については、 references/standards.md をお読みください。