Hackの世界へようこそ。HHVMの深淵を覗き込み、型システムの厳格さと向き合う決意をしたあなたを歓迎します。
多くの開発者がHackの「Strict Mode」で最初にぶつかる壁、それが「型チェッカーの難解なエラーメッセージ」です。一見すると暗号のような文字列の羅列に見えますが、あれは決してあなたを突き放すためのものではありません。HHVMがコンパイル時に行っている「数学的証明」の過程で、どこに矛盾が生じたのかを指し示している「航海図」なのです。
今日は、その読み解き方と、エラーの根本原因を瞬時に特定する「プロの視点」を伝授しましょう。
—
1. エラーメッセージは「比較」であると心得る
HHVMの型チェッカー（`hh_client`）が吐き出すメッセージの核心は、常に「期待値（Expected）」と「実測値（Actual）」の不一致にあります。
File “app.php”, line 10, characters 12-15:
Invalid argument (Typing[4110])
File “app.php”, line 5, characters 20-22:
Expected int
File “app.php”, line 8, characters 15-17:
But got string
これを見たとき、「なぜエラーなのか？」と悩む前に、こう脳内で変換してください。
- 「ここは `int` であるべきという制約がある」
- 「しかし、流れてきたデータは `string` だった」
- 「このギャップ（`int` vs `string`）を埋めないと、実行時エラーのリスクがあるから通さない」
この「比較構造」さえ見抜ければ、エラーの原因は常に「データの供給源」か「型定義の甘さ」のどちらかに絞り込めます。
—
2. 根本原因を特定する「トレースの逆引き戦略」
複雑なエラーは、型推論が連鎖した結果発生します。特にジェネリクスや不透明型（Opaque Type）が絡むと、メッセージが長くなりますよね。そんな時は、エラーの起点の「行番号」ではなく、「型が決定された地点」を探します。
実践：型不一致のデバッグ例
<<__EntryPoint>>
function main(): void {
// 意図的に型を曖昧にしてみる
$data = getData(); // ここで何が返ってくるか推論が走る
processData($data);
}
function getData(): mixed {
return “123”; // stringが返る
}
function processData(int $val): void {
echo $val + 1;
}
このコードを実行すると、`processData` の引数でエラーが出ます。しかし、本当の罪人は `getData` が `mixed` を返していることです。
デバッグ戦略：
1. エラー箇所を確認: `processData($data)` が `int` を求めていることを確認。
2. 変数の定義元へ飛ぶ: `$data` がどこから来たか追跡。
3. 型を絞り込む: `mixed` は「何でもあり」の禁じ手です。これを `string` や `int` に具体化（Refining）してあげるだけで、型チェッカーは黙り込みます。
—
3. なぜ「Strict Mode」はこれほど厳しいのか？
Hackの `<<__严格>>`（Strict）モードは、「実行時に型エラーが起こる可能性をゼロにする」という極めて高い目標を持っています。
他の言語なら実行時にこっそり型変換（キャスト）してくれるような場面でも、Hackは「暗黙の型変換はバグの温床」と見なして遮断します。これは不便に感じるかもしれませんが、「型チェッカーが通ったコードは、実行時にも論理的に安全である」という強力な保証を得ていることを意味します。
陥りやすい「Null許容」の罠
function getUsername(?string $name): string {
// return $name; // エラー！ ?string は string ではない
return $name ?? ‘Guest’; // こうすれば安全
}
このエラー（`Typing[4110]`）は、`?string`（Nullの可能性がある文字列）を `string`（絶対にNullではない文字列）として扱おうとした時に発生します。HHVMは「もし `name` が `null` だったら落ちるぞ！」と警告しているのです。この「防波堤」こそが、Hackが大規模システムで選ばれる理由です。
—
4. 最後に：型エラーと仲良くなるために
型チェッカーと戦うのではなく、「型チェッカーを賢いペアプログラミングのパートナー」と捉えてみてください。
- エラーが長すぎるなら: コードを小さく分割してください。型推論の推論範囲が狭まることで、エラーも局所的になります。
- 型定義を明示する: 型推論に頼りすぎず、関数の引数や戻り値に型を明記することで、エラーが「推測」から「確定的な違反報告」に変わり、解決が早まります。
ここをクリアすれば、あなたはもうHackの初学者ではありません。型システムという強固な武器を手に入れた、確かなエンジニアの仲間入りです。
次は、`Shape` や `Type Alias` を使って、より複雑なデータ構造を型安全に守る方法を深掘りしていきましょうか。Hackの世界は、まだまだ奥が深いですよ。