# 通知設計書 39-warnTypelessParam

## 概要

本ドキュメントは、Nimコンパイラにおいて定義されている警告「warnTypelessParam」の設計仕様を記述する。この警告は、型なしパラメータが使用された場合に通知される予定であったが、現在はデッドコード（deadcode）としてマークされており、使用されていない。

### 本通知の処理概要

本警告は、関数やプロシージャのパラメータに型注釈がない場合に開発者へ通知することを目的として定義されていた。ただし、ソースコード内のコメントで「deadcode」とマークされており、現在のNimコンパイラ実装では使用されていない。

**業務上の目的・背景**：Nimは型推論をサポートするが、パラメータの型を明示的に指定することが推奨される場合がある。この警告は、型なしパラメータの使用を検出し、コードの明確性を向上させることを目的として定義されていたと考えられる。

**通知の送信タイミング**：現在、この警告を発行するトリガーは存在しない。かつては型解析フェーズで使用されていた可能性がある。

**通知の受信者**：Nimソースコードを編集している開発者。

**通知内容の概要**：メッセージ文字列は空文字列（""）として定義されており、実際のメッセージ内容は未定義。

**期待されるアクション**：パラメータに明示的な型注釈を追加する。

## 通知種別

コンパイラ警告メッセージ（標準エラー出力）- デッドコード（未使用）

## 送信仕様

### 基本情報

| 項目 | 内容 |
|-----|------|
| 送信方式 | 同期 |
| 優先度 | 中（Warning） |
| リトライ | 無 |
| 状態 | デッドコード（未使用） |

### 送信先決定ロジック

この警告は現在発行されない。`--warning[TypelessParam]:off`オプションは定義されているが、発行コードがないため効果はない。

## 通知テンプレート

### コンパイラ警告メッセージの場合

| 項目 | 内容 |
|-----|------|
| 出力先 | 標準エラー出力 |
| 重要度 | Warning |
| メッセージID | TypelessParam |
| 形式 | テキスト |

### メッセージテンプレート

```
（メッセージ文字列は空として定義）
```

### 添付ファイル

なし

## テンプレート変数

| 変数名 | 説明 | データ取得元 | 必須 |
|--------|------|-------------|-----|
| なし | - | - | - |

## 送信トリガー・条件

### トリガー一覧

| トリガー種別 | トリガーイベント | 送信条件 | 説明 |
|------------|----------------|---------|------|
| なし | - | - | デッドコード |

### 送信抑止条件

| 条件 | 説明 |
|-----|------|
| --warning[TypelessParam]:off | コマンドラインオプションで警告を無効化（効果なし） |

## 処理フロー

### 送信フロー

現在、この警告を発行する処理フローは存在しない。

```mermaid
flowchart TD
    A[警告定義のみ存在] --> B[発行コードなし]
    B --> C[デッドコードとしてマーク]
```

## データベース参照・更新仕様

### 参照テーブル一覧

なし

### 更新テーブル一覧

なし

## エラー処理

### エラーケース一覧

| エラー種別 | 発生条件 | 対処方法 |
|----------|---------|---------|
| なし | - | - |

### リトライ仕様

| 項目 | 内容 |
|-----|------|
| リトライ回数 | 0 |
| リトライ間隔 | - |
| リトライ対象エラー | - |

## 配信設定

### レート制限

| 項目 | 内容 |
|-----|------|
| 1分あたり上限 | 制限なし |
| 1日あたり上限 | 制限なし |

### 配信時間帯

制限なし

## セキュリティ考慮事項

- 現在使用されていないため、セキュリティ上の考慮事項なし

## 備考

- ソースコード（lineinfos.nim:159）で`# deadcode`とコメントされている
- メッセージ文字列は空文字列（""）として定義されている
- 将来的に削除または再実装される可能性がある
- 関連するwarnProveInit（errProveInitのエラー版は別に存在）のように、型安全性に関連する警告として設計された可能性がある

---

## コードリーディングガイド

本通知を理解するために参照すべきファイルと、推奨する読み解き順序を以下に示す。

### 推奨読解順序

#### Step 1: データ構造を理解する

警告の種類定義のみを確認する。

| 順序 | ファイル | パス | 読解ポイント |
|-----|---------|------|-------------|
| 1-1 | lineinfos.nim | `compiler/lineinfos.nim` | TMsgKind列挙型でwarnTypelessParamの定義（65行目）を確認 |
| 1-2 | lineinfos.nim | `compiler/lineinfos.nim` | MsgKindToStr配列でのメッセージ定義（159行目）を確認。`# deadcode`コメントに注目 |

**読解のコツ**: メッセージ文字列が空（""）で、deadcodeコメントが付いていることから、この警告は現在使用されていないことがわかる。

#### Step 2: 使用箇所の確認（現在なし）

compiler/ディレクトリ内でgrepしても、lineinfos.nim以外でwarnTypelessParamを使用しているファイルは存在しない。

### プログラム呼び出し階層図

```
警告定義 (lineinfos.nim)
    │
    └─ 発行コードなし
           │
           └─ deadcodeとしてマーク
```

### データフロー図

現在、データフローは存在しない。

### 関連ファイル一覧

| ファイル | パス | 種別 | 役割 |
|---------|------|------|------|
| lineinfos.nim | `compiler/lineinfos.nim` | ソース | 警告種別定義（TMsgKind） |
