Reviewing Type Safety

型安全レビュー - TypeScriptベストプラクティス

目標: 最小限の型の体操で最大の型安全性。

型安全メトリクス

セクションベースのロード

クイックチェックリスト

型カバレッジ

• すべての関数に明示的な戻り値型
• すべてのパラメータが型付き（暗黙のanyなし）
• すべてのデータ構造にInterface/type定義
• 明示的な正当化なしのanyなし

型ガードとナローイング

• Union型に型述語（is関数）
• 関連する型に判別可能なUnion
• neverによる網羅的チェック
• 安全でない型アサーション（as）を避ける

Strictモード

• strictNullChecks: true
• noImplicitAny: true
• strictFunctionTypes: true
• Reactコンポーネントが適切なHTML属性を拡張

主要原則

一般的なパターン

型ガード関数

function isSuccess<T>(response: Response<T>): response is SuccessResponse<T> {
  return response.success === true
}

判別可能なUnion

type Action =
  | { type: 'INCREMENT'; payload: number }
  | { type: 'DECREMENT'; payload: number }
  | { type: 'RESET' }

// 網羅的チェック
function reducer(action: Action): number {
  switch (action.type) {
    case 'INCREMENT': return action.payload
    case 'DECREMENT': return -action.payload
    case 'RESET': return 0
    default:
      const _exhaustive: never = action
      return _exhaustive
  }
}

ジェネリックコンポーネント

interface SelectProps<T> {
  value: T
  options: T[]
  onChange: (value: T) => void
}

function Select<T>({ value, options, onChange }: SelectProps<T>) { /* ... */ }

参照

コア原則

• @~/.claude/skills/applying-code-principles/SKILL.md - 過度な型付けをしない
• @~/.claude/skills/applying-code-principles/SKILL.md - 型インターフェースはISPに従う

関連スキル

• applying-code-principles - 一般的なコード品質原則
• generating-tdd-tests - 型安全なテストパターン

使用エージェント

• type-safety-reviewer - このスキルの主要な使用者