auto-type-checking

自動型チェック

ビルド時に初めて気づくのではなく、編集のたびに型エラーをすぐに検出します。

手動で行う場合

TypeScript ファイルを編集した後、次を実行します。

npx tsc --noEmit 2>&1 | head -30

エラーが表示された場合は、次に進む前に修正します。

Cursor Hooks で自動化する場合

ファイルを編集するたびに自動で実行するには、.cursor/hooks.json に追加します。

{
  "hooks": [
    {
      "event": "afterFileEdit",
      "script": "check-types.sh",
      "pattern": "**/*.{ts,tsx}"
    }
  ]
}

.cursor/hooks/check-types.sh を作成します。

#!/bin/bash
# Quick type check — only reports errors, doesn't block
npx tsc --noEmit --pretty 2>&1 | head -20
exit 0  # Don't block the agent even if there are errors

chmod +x .cursor/hooks/check-types.sh

チェック項目

型エラーが表示された場合は、次の項目を確認します。

1. インポートの不足：Cannot find name 'X' → インポートを追加します
2. 型の不一致：Type 'string' is not assignable to type 'number' → 型または値を修正します
3. プロパティの不足：Property 'x' does not exist on type 'Y' → インターフェースにプロパティを追加するか、アクセス方法を修正します
4. null 安全性：Object is possibly 'null' → null チェックまたはオプショナルチェーンを追加します
5. ジェネリック制約：Type 'X' does not satisfy the constraint 'Y' → ジェネリックパラメーターを修正します

ヒント

• 出力ファイルを生成せずに型チェックするには、--noEmit を使用します
• 大規模なプロジェクトでは tsc の実行に時間がかかることがあります。--incremental の使用や、変更されたファイルのみを対象にすることを検討してください
• パスエイリアスを使用する場合は、tsconfig.json の paths が正しく設定されていることを確認してください
• モノレポでは、ワークスペースのルートではなくパッケージのルートから tsc を実行します
• 完全にエラーがなくなるまで修正するループには、grinding-until-pass を組み合わせてください