Cursorで実現する「型駆動開発」：AIにエラーを吐かせないための静的解析フィードバック術
こんにちは。現場の最前線でコードと格闘する皆さんに、今日は少し踏み込んだ話をします。
今、CursorのようなAI特化型エディタを使っている方は多いでしょう。「Ctrl+K」でコードを生成させ、そのまま実装を終える……確かに便利です。しかし、中級者以上の現場でよく問題になるのが「AIが生成したコードが、プロジェクト全体の型定義と微妙に食い違っており、コンパイルエラーを連発する」という現象です。
AIは「それっぽいコード」を書く天才ですが、「プロジェクト固有の厳しい制約」を常に把握しているわけではありません。これを解決するには、「AIにプロジェクトの型情報を強制的に意識させる」というアーキテクチャが必要です。
今日は、AIを単なるコード生成機から、あなたのプロジェクトのルールを遵守する「厳格なペアプログラマー」へと進化させる方法を伝授します。
—
1. なぜ「型定義」がAIとのコミュニケーションの鍵なのか？
多くのエンジニアが陥る罠は、AIに「機能」だけを依頼することです。しかし、現代の型安全な開発（TypeScriptやRustなど）において、型（Type）こそがドキュメントであり、設計図そのものです。
AIが生成するコードがエラーになるのは、AIがコンテキストとして「今、この変数が持つべき厳密な形状（Shape）」を理解していないからです。Cursorの設定を最適化し、AIに「現在のコンパイルエラー」をリアルタイムで教え込むことで、修正のループを劇的に短縮できます。
—
2. 必須セットアップ：Cursorと静的解析の「同期」
Cursorで型駆動開発を行うための第一歩は、AIがプロジェクトの型定義を正しく参照できるようにすることです。
1. `.cursorrules` の活用（AIへの「憲法」策定）
プロジェクトルートに `.cursorrules` ファイルを作成してください。これは、CursorのAIが常に参照する「プロジェクトの掟」です。ここに型定義の優先順位を書き込みます。
.cursorrulesの例
- コードを生成する際は、必ず `src/types/` 内の定義を参照すること。
- 新しい関数を作る際は、既存のインターフェースを拡張し、any型は絶対に使用禁止。
- Rustの場合は、常に clippy の警告が出ないようなコードを生成すること。
2. `tsconfig.json` または `Cargo.toml` の最適化
AIに型を認識させるには、プロジェクトの「型定義の出口」を明確にする必要があります。`tsconfig.json` の `paths` 設定を整理し、AIが型定義ファイル（`d.ts`）に迷わずアクセスできるようにします。
// tsconfig.json
{
“compilerOptions”: {
“baseUrl”: “.”,
“paths”: {
“@/”: [“src/”],
“types/”: [“src/types/”] // AIが型定義を明示的に認識しやすくする
},
“strict”: true // AIに対して厳しい制約を課す
}
}
—
3. 実践：エラーをAIに食わせる「フィードバック・ループ」
ここが本題です。Cursorの強力な機能の一つである 「@Codebase」と「ターミナル連携」 を使い、AIに自身のミスを自己修正させます。
手順：
1. ターミナルでエラーを発生させる: まずコンパイルを実行し、エラーをログに出します。
2. エラーログをコピー: ターミナルのエラー出力を選択し、Cursorの「Composer（Cmd/Ctrl + I）」で `@Codebase` を指定した状態で貼り付けます。
3. プロンプト: 「このエラーログに基づき、現状の型定義に合わせてコードを修正してください。特に、`User` インターフェースの変更点に注意してください」と指示を送ります。
このとき、AIは「自分の出力したコード」と「コンパイラの厳しい指摘」を突き合わせることで、驚くほど正確な修正を行います。
—
4. 高精度なHelloWorld：型安全なAPI定義
例えば、「ユーザーIDを受け取って詳細を返す関数」を型定義から生成させる場合、以下のプロンプトを試してみてください。
プロンプト例：
> 「`src/types/user.d.ts` に定義されている `User` 型を使用して、`getUserById` 関数を実装してください。実装前に `user.d.ts` の内容を読み込み、戻り値の型が完全に一致するようにしてください。型不整合が起きる場合は、その理由を説明してから修正案を出してください。」
—
開発効率を極限まで引き上げるためのアドバイス
「AIが書いたコードをそのまま使う」のは、まだ初心者です。「AIに型定義を読み込ませ、静的解析ツールでチェックし、その結果をAIにフィードバックする」。このサイクルを回すことで、あなたの開発速度は通常の数倍に跳ね上がります。
Cursorは単なるエディタではなく、あなたの思考を拡張する「型駆動の脳」です。ぜひ、今日から「AIに型を教え込む」という意識でコードを書いてみてください。エラーのない、美しく安全なコードが、あなたの手元から溢れ出すはずです。
何か不明点や、特定の言語（Rust/Go/TypeScript）での最適化設定を知りたい場合は、またいつでも聞いてくださいね。一緒に、開発の解像度を上げていきましょう。