Type Safety Patterns スキル

概要

TypeScript厳格モードによる型安全性設計を専門とするスキル。型推論分析、型ガード設計、ジェネリック型パターン、識別可能ユニオン設計を通じて、コンパイル時に型エラーを検出し、ランタイムエラーを防止します。

ワークフロー

Phase 1: 型推論分析

目的: 既存コードの型推論状況を把握し、問題箇所を特定

アクション:

1. references/Level1_basics.md と references/strict-mode-guide.md を確認
2. agents/type-inference-analysis.md を参照し、any型やワイドニング問題を検出
3. 改善が必要な箇所をリストアップ

Phase 2: 型安全性設計

目的: 型ガードとパターンを設計し、型安全性を向上

アクション:

1. agents/type-guard-design.md を参照し、型ガードを設計
2. agents/generic-type-patterns.md で再利用可能なジェネリックを設計
3. agents/discriminated-union-design.md で識別可能ユニオンを設計

Phase 3: 検証と記録

目的: 成果物の検証と実行記録の保存

アクション:

1. scripts/check-type-safety.mjs で型安全性を確認
2. scripts/validate-skill.mjs でスキル構造を確認
3. scripts/log_usage.mjs を実行して記録を残す

Task仕様（ナビゲーション）

型安全性設計の各タスクと対応するエージェント・リソースの対応表

ワークフロー順序

type-inference-analysis → type-guard-design → generic-type-patterns → discriminated-union-design

1. type-inference-analysis: 型推論結果を分析し、any型やワイドニング問題を検出
2. type-guard-design: ユニオン型を安全に絞り込む型ガードを設計
3. generic-type-patterns: 再利用可能なジェネリック型と関数を設計
4. discriminated-union-design: 網羅性チェック付きの識別可能ユニオンを設計

ベストプラクティス

すべきこと

• strictモードを有効にし、すべての厳格オプションを使用
• any型を避け、unknown型とType Guardを組み合わせて使用
• 型推論を活用し、明示的な型注釈を最小化
• 識別可能ユニオンでexhaustive checkを実装

避けるべきこと

• as型アサーションの乱用
• any型の明示的使用
• strictモードの無効化
• 型安全性を犠牲にした妥協

リソース参照

references/（詳細知識）

scripts/（決定論的処理）

assets/（テンプレート・素材）

変更履歴