ようこそ、Hackの世界へ。世界最高峰の言語アーキテクトとして、君がこれからHackの深淵に触れる手助けができることを嬉しく思うよ。
Hackの型チェッカー（`hh_client`）は、単なるエラーチェッカーじゃない。あれは君のコードに潜むバグを未然に防ぐ、最も優秀な「ペアプログラマー」なんだ。最初は少し厳しく感じるかもしれないけれど、彼らが発するメッセージを読み解けるようになれば、君はもうHackを掌中に収めたも同然だ。
さあ、型エラーという「対話」を紐解いていこう。
—
1. 型エラーは「敵」ではなく「道標」
HackのStrict Mode（`<<__Strict>>`）は、曖昧さを一切許さない。君が書いたコードが期待通りに動くことを、型チェッカーが数学的に証明しようとしているんだ。
エラーが出たとき、多くの初心者はメッセージの長さに圧倒されてしまう。でも、構造さえ分かれば怖くない。エラーメッセージは、「期待されているもの（Expected）」と「実際に渡されたもの（Actual）」の不一致を指摘しているだけなんだ。
典型的なエラーを解剖する
例えば、こんなコードを書いたとしよう。
<<__Strict>>
function greet(string $name): string {
return $name . “さん、こんにちは！”;
}
function main(): void {
// 数値の10を渡してしまった！
greet(10);
}
このコードを実行すると、型チェッカーはこう叫ぶはずだ。
File “test.hack”, line 8, characters 3-4:
Invalid argument (Typing[4110])
File “test.hack”, line 2, characters 17-22:
This is a string
File “test.hack”, line 8, characters 3-4:
It is an int because this is an integer literal
このメッセージを分解すると、こうなる。
1. Invalid argument (Typing[4110]): 「引数の型が合ってないよ」という事実。
2. This is a string: 「関数定義では、ここには`string`が来るはずですよね？」
3. It is an int …: 「でも、君が渡したのは`int`だよね？」
どうだい？ 何が起きたのか、型チェッカーは完璧に説明してくれているよね。
—
2. 陥りやすい「Null」の罠
Hackを学び始めて一番最初に躓くのが、このNullabilityだ。Hackでは、デフォルトで「変数はNullになってはいけない」というルールがある。
function getUsername(?int $id): string {
// $id が null の可能性があるのに、そのまま使おうとすると怒られる
return “ユーザーID: ” . $id;
}
このエラーメッセージを見た時、チェッカーはこう言っているんだ。「君は`$id`が`?int`（IntまたはNull）かもしれないと言ったよね？ それなのに、Nullの可能性を考慮せずに文字列として扱おうとするのは危険だよ」と。
どう解決するか？
「条件分岐」という防護壁を作るんだ。
function getUsername(?int $id): string {
if ($id is null) {
return “ゲスト”;
}
// ここでは $id は確実に int であると型チェッカーが「推論（Type Refinement）」してくれる
return “ユーザーID: ” . (string)$id;
}
この `is` 演算子によるチェックを通すだけで、型チェッカーは「ああ、このスコープ内ではもうNullじゃないんだな」と認識を更新してくれる。これがHackの賢さなんだ。
—
3. 型チェッカーと仲良くなるための3つの鉄則
型エラーを迅速に解消し、Hackをマスターするために、以下の3つを意識してみてほしい。
- 「全体像から細部へ」を読む: エラーメッセージの最初の一行は「場所」を、その後の記述は「なぜダメなのか」を教えてくれる。まずは「どこ」で起きているのかを突き止めよう。
- 推論を信じる: Hackは強力な型推論を持っている。無理に全部に型注釈を書く必要はない。複雑な場所だけ明示すれば、チェッカーが賢く計算してくれる。
- 「？」を恐れない: Nullになりうるなら、素直に `?Type` と書こう。型チェッカーは君を縛り付けたいわけじゃない。安全なコードを書くための補助線として、型注釈を味方につけるんだ。
—
最後に：型は「守り」であり「自由」である
厳格な型システムは、一見すると自由を奪う鎖のように見えるかもしれない。でも、実際はその逆だ。「型が保証されているからこそ、安心して大胆なリファクタリングができる」。
HHVMという世界最高峰のエンジンが、君のコードの整合性を裏で守り続けている。型エラーが出るのは、君がより安全で、より堅牢なコードを書くためのチャンスなんだ。
ここをクリアすれば、君はもうHackの基本をマスターしたようなものだよ。自信を持って、次のコードを書いてみてほしい。何かあれば、いつでもこのメッセージを読み返してくれ。君の挑戦を応援しているよ！