こんにちは！HHVMの内部構造やHackの型チェッカーの挙動に日々向き合っていると、「どこまでコンパイラに推論を任せ、どこから人間が型を明示すべきか」という境界線にぶつかる瞬間がやってきますよね。
他の動的型付け言語（PHPなど）からHackの世界へ飛び込んできた方や、静的型付けの厳格さに少し戸惑っている方に向けて、今回はHackのStrict Mode（厳格モード）における型推論の限界と、明示的型注釈の境界線について、コアな知見を交えながら優しく紐解いていきたいと思います。
ここをクリアすれば、Hackの型システムを手の内に入れることができますよ。それでは、さっそく本質へと進みましょう！
—
1. HackのStrict Modeと型推論の基本思想
Hack言語の最大の特徴は、すべてのファイルを `型推論（Type Inference）です。Hackの型チェッカーは非常に優秀で、次のようなコードであれば、開発者が型を明示しなくても自動で型を解釈してくれます。
$prices): int {
// $total は初期値の型（int）から自動的に int型と推論されます
$total = 0;
foreach ($prices as $price) {
$total += $price;
}
return $total;
}
「おっ、じゃあ全部コンパイラが推論してくれるから、型注釈なんて最小限でいいのでは？」と思いますよね。実はここに、Hackの型システムをマスターする上での最初の大きな落とし穴があるんです。
—
2. 型推論が崩壊する瞬間（推論の限界）
HHVMの型チェッカーは静的にコードを解析します。つまり、「実行時にならないと型が確定しない構造」や「情報の損失が起きる抽象化」に直面した瞬間、型推論はフリーズし、エラーを吐き出します。
代表的な「型推論が限界を迎えるシチュエーション」をいくつか見てみましょう。
① 空のコレクションの初期化
もっともやりがちなミスがこれです。
$explicit_items = Vector {};
}
空のコレクション（`Vector`, `Map`, `Set` など）を宣言したとき、チェッカーはそれに何が格納される予定なのかを推測できません。結果として `Vector
② 複雑な条件分岐と不確定な戻り値
異なる型を返す可能性のある条件分岐が入り組んでいる場合も、推論器は安全側に倒して `mixed` や抽象的なunion型（表現できない場合はエラー）と判断します。
—
3. 明示的型注釈の境界線：いつ、どこに書くべきか？
では、私たちはどのタイミングで型を明示すべきなのでしょうか。
現場で使える「明示的型注釈の境界線」の判断基準は以下の3つです。
[境界線のマッピング]
├── 1. 公開API・関数の境界 (Public / Internal Boundaries) -> 【絶対に明示】
├── 2. 空のコンテナ・初期化時 (Empty Collections) -> 【絶対に明示】
└── 3. ローカル変数の単純な代入 (Local Scope) -> 【推論に任せてOK】
境界線①：関数のシグネチャ（引数と戻り値）は「契約書」
関数の入り口と出口には、必ず型を明示してください。これはコードを読む人間、そして未来の自分への「契約書」です。
境界線②：ローカル変数は「推論に甘えてもいい領域」
関数内部の狭いスコープ（ローカル変数）で、右辺から型が100%一意に決まる場合は、型推論に任せた方がコードがスッキリします。
4. 陥りがちな文法エラーと対策
Hackを書き始めたばかりの頃に、よく遭遇するエラーとその回避策を共有しておきますね。
エラー例: `Typing[4110] Invalid argument`
コンテナ操作でよく起こるエラーです。
に int を入れようとして怒られます。
}
【対策】
コンテナを使うときは、必ず最初から型パラメータを指定する習慣をつけましょう。
$data = Map {};
$data[“score”] = 100;
}
—
まとめ：型チェッカーは「厳格な相棒」
HackのStrict Modeと型チェッカーは、私たち開発者の自由を縛るためのものではありません。大規模なプロダクトコードベースであっても、HHVMが超高速かつ安全に動作し続けるための「最強の守護神」です。
- 関数の境界や空のコンテナには、迷わず明示的な型注釈を。
- 明確なローカル変数の初期化は、型推論にスマートに任せる。
この境界線を意識できるようになれば、あなたの書くHackコードは見違えるほど堅牢で美しいものになります。
ここをクリアすれば、Hackの基本はバッチリマスターできますよ！ぜひ明日の開発から意識してみてくださいね。それでは、また次回のハードコアなHackの世界でお会いしましょう！