Claude Code × TypeScript｜型安全なコード生成のコツ

const data = response.data as any
const user = data.user as any
const name = (data.user as any).name as string

{
  "compilerOptions": {
    "strict": true,
    "noImplicitAny": true,
    "strictNullChecks": true,
    "noUncheckedIndexedAccess": true,
    "exactOptionalPropertyTypes": true
  }
}

## TypeScript設定

### コード生成のルール
1. `as any` は禁止。どんな場合も使わない
2. `as Type` のキャストは型ガードか Zod バリデーション後のみ許可
3. 関数の引数・戻り値には必ず型注釈を付ける
4. `any` の代わりに `unknown` を使い、型ガードで絞り込む
5. 型推論に頼れる場面では明示的な型注釈は不要（過剰な注釈もNG）

### 検証コマンド
コード生成後は必ず `npx tsc --noEmit` を実行する。
型エラーが出たら修正してから提出すること。

以下のAPIレスポンス例からZodスキーマを生成してください。

APIレスポンス例:
{
  "id": 1,
  "name": "John Doe",
  "email": "john@example.com",
  "role": "admin" | "user" | "guest",
  "createdAt": "2026-01-01T00:00:00Z",
  "profile": {
    "bio": "Developer",
    "avatarUrl": "https://example.com/avatar.jpg" | null
  }
}

要件:
- すべてのフィールドに型を付ける
- role は union 型で定義する
- createdAt は z.coerce.date() でDate型に変換する
- nullable なフィールドは .nullable() で明示する
- スキーマから型を推論して export する

import { z } from 'zod'

const ProfileSchema = z.object({
  bio: z.string(),
  avatarUrl: z.string().url().nullable(),
})

const UserRoleSchema = z.enum(['admin', 'user', 'guest'])

export const UserSchema = z.object({
  id: z.number().int().positive(),
  name: z.string().min(1),
  email: z.string().email(),
  role: UserRoleSchema,
  createdAt: z.coerce.date(),
  profile: ProfileSchema,
})

export type User = z.infer<typeof UserSchema>
export type UserRole = z.infer<typeof UserRoleSchema>

上記の UserSchema を使って、fetch のレスポンスをパースする関数を書いてください。

要件:
- パース失敗時は ZodError をスローする
- unknown 型で受け取って Zod でバリデーションする
- `as any` は使わない

import { UserSchema, type User } from './schemas/user'

export async function fetchUser(userId: number): Promise<User> {
  const response = await fetch(`/api/users/${userId}`)

  if (!response.ok) {
    throw new Error(`Failed to fetch user: ${response.status}`)
  }

  const json: unknown = await response.json()
  return UserSchema.parse(json)
}

## コード提出前の必須チェック

コードを生成・修正したら、必ず `npx tsc --noEmit` を実行すること。
型エラーがゼロになるまでコードを修正してから回答すること。
型エラーが残ったままのコードは提出しない。

{
  "scripts": {
    "type-check": "tsc --noEmit",
    "type-check:watch": "tsc --noEmit --watch"
  }
}

# 型エラーを取得
npx tsc --noEmit 2>&1

src/utils/parseResponse.ts:12:5 - error TS2322: Type 'any' is not assignable to type 'User'.
src/utils/parseResponse.ts:18:3 - error TS7006: Parameter 'data' implicitly has an 'any' type.

Found 2 errors.

以下のTypeScriptエラーを修正してください。

エラー:
src/utils/parseResponse.ts:12:5 - error TS2322: Type 'any' is not assignable to type 'User'.
src/utils/parseResponse.ts:18:3 - error TS7006: Parameter 'data' implicitly has an 'any' type.

修正方針:
- `as any` を使わずに修正する
- unknown 型 + 型ガードか Zod を使う
- 修正後に `tsc --noEmit` でエラーがゼロになることを確認してから回答する

以下のOpenAPI仕様から、TypeScript + Zodのスキーマを生成してください。

仕様（抜粋）:
---
components:
  schemas:
    Product:
      type: object
      required:
        - id
        - name
        - price
      properties:
        id:
          type: integer
        name:
          type: string
          maxLength: 100
        price:
          type: number
          minimum: 0
        category:
          type: string
          enum: [electronics, clothing, food]
        stock:
          type: integer
          nullable: true
---

要件:
- z.infer<typeof Schema> で型を export する
- バリデーション制約（maxLength・minimum）もZodに反映する
- nullable は .nullable() で表現する

## Prismaの型活用ルール（CLAUDE.mdに追記）

- Prismaが生成した型（`PrismaClient`・`Prisma.UserGetPayload` など）を積極的に使う
- `User` 型は `import type { User } from '@prisma/client'` から参照する
- クエリの戻り値には `Prisma.UserGetPayload<{include: {posts: true}}>` のような型を使う
- 独自の型定義でPrismaの型を上書きしない

import type { Prisma } from '@prisma/client'
import { prisma } from '@/lib/prisma'

type UserWithPosts = Prisma.UserGetPayload<{
  include: { posts: { include: { tags: true } } }
}>

export async function getUserWithPosts(userId: string): Promise<UserWithPosts | null> {
  return prisma.user.findUnique({
    where: { id: userId },
    include: {
      posts: {
        include: { tags: true },
      },
    },
  })
}

## TypeScript型安全ポリシー

### 絶対禁止
- `as any` の使用（理由を問わず禁止）
- `@ts-ignore` の使用（`@ts-expect-error` は理由コメント付きで許可）
- 型注釈なしの関数定義（引数・戻り値の型は必須）

### 外部データの型付け
- 外部API・JSONは `unknown` で受けて Zod でバリデーション
- `response.json() as SomeType` のキャストは禁止
- Zodスキーマから `z.infer<typeof Schema>` で型を export する

### tsconfig.json準拠
strict: true / noImplicitAny: true / strictNullChecks: true / noUncheckedIndexedAccess: true

### 提出前チェック（必須）
コード生成・修正後は `npx tsc --noEmit` を実行し、エラーゼロを確認してから回答する。

### Zodの使い方
- スキーマ定義は `src/schemas/` ディレクトリに集約する
- `.parse()` はバリデーション失敗時にエラーをスロー（意図的な動作）
- `.safeParse()` はエラーハンドリングが必要な場合に使う
- スキーマファイルには型も一緒に export する

# ジェネリクスルール
- ジェネリック型パラメータには必ず制約をつける（`<T>` ではなく `<T extends Base>`）
- ユーティリティ型（Pick, Omit, Partial）を積極的に使い、新しい型定義を減らす
- 条件付き型は2段階まで。3段階以上のネストは関数オーバーロードに分割する

APIレスポンスの型を作って。以下の条件:
- GET /users → User[]
- GET /users/:id → User
- POST /users → User
- エンドポイントごとに戻り値の型が変わるconditional typeにする

type ApiEndpoint = "GET /users" | "GET /users/:id" | "POST /users";

type ApiResponse<E extends ApiEndpoint> = E extends "GET /users"
  ? User[]
  : E extends "GET /users/:id"
    ? User
    : E extends "POST /users"
      ? User
      : never;