こんにちは！HHVMの内部構造やHackの厳格な型システムに魅せられた皆さん、日々の開発お疲れ様です。
他のプログラミング言語、例えばPHPやJavaScriptなどからHackの世界へ足を踏み入れたとき、最初に立ちはだかる高い壁が「型チェッカー（hh_client）からの難解なエラーメッセージ」ではないでしょうか。
「なんだか怒られているけれど、結局どこをどう直せばいいのか分からない……」と頭を抱えた経験、ありませんか？
今回は、Hackの厳格モード（Strict Mode）における型チェッカーの思考プロセスを解き明かし、エラーメッセージを最速でハック（解決）するための極意を、優しく丁寧にお伝えしていきますね。ここをクリアすれば、あなたのHackの基本はバッチリマスターできますよ！
—
1. なぜHackの型チェッカーは厳しく怒るのか？
私たちが書くHackのコードは、HHVM（HipHop Virtual Machine）上で爆速で実行されます。その秘密は、コードが実行される前に、型チェッカーが隅々まで安全性を検証しているからです。
Hackのファイルは、必ず先頭に以下のような宣言から始まります。
// decl
<
この `<
—
2. エラーメッセージの「解剖学」：どこを読むべきか？
複雑な型エラーに直面したとき、英文の長文を見て思考停止してしまう人が多いですが、実は見るべきポイントは決まっています。
型チェッカーのエラーは、大体次のような構造をしています。
File “app.hack”, line 15, characters 12-24:
Invalid argument (Typing[4110])
File “app.hack”, line 8, characters 28-33:
Expected `int`
File “app.hack”, line 12, characters 18-22:
Ink `string`
これを図解的に分解してみましょう。
[どこで？] ──> File “app.hack”, line 15 (15行目)
[何が起きている？] ──> Invalid argument (引数の型が違いますよ)
[神様の期待] ──> Expected `int` (ここは整数を欲しかった！)
[現実の惨状] ──> But got `string` (でも文字列が渡されてきたよ…)
一番重要なのは、最後の `Expected [型A]` と `But got [型B]` の対比です。「型チェッカーは何を期待していて、自分のコードは何を放り込んだのか」をこの2行から読み取るだけで、解決への道筋が一瞬で見えてきます。
—
3. よくあるエラーと具体的な処方箋
それでは、開発現場でよく遭遇する具体的なエラーパターンをコードと一緒に見ていきましょう。
パターンA: Nullの可能性を放置したとき（Typing[4041]など）
PHP出身者が一番やりがちなのが、`null` チェックをサボることです。Hackでは `null` も厳格に管理されます。
<
namespace MyProject;
class User {
public function __construct(public string $name) {}
}
function get_user(int $id): ?User {
// IDが偶数のときだけUserを返し、奇数はnullを返すとする
if ($id % 2 === 0) {
return new User(“Alice”);
}
return null;
}
function print_user_name(int $id): void {
$user = get_user($id);
// エラー！ $user は ?User (User か null) なので、そのままプロパティにアクセスできない
echo $user->name;
}
💀 型チェッカーからのメッセージ（要約）
> You are calling the method `name` on a `null` value because `get_user` might return null.
> （`get_user` は null を返すかもしれないのに、あんたは null に対して `name` を呼び出そうとしているよ！）
🛠 解決策
チェッカーの言う通り、`null` でないことを事前に保証（ガード）してあげます。
function print_user_name(int $id): void {
$user = get_user($id);
// null ガードを追加！
if ($user === null) {
echo “User not found.”;
return;
}
// ここに到達した時点で、$user は確実に User クラスのインスタンスだとチェッカーが理解する
echo $user->name;
}
これで型チェッカーは笑顔で「OK！」と言ってくれます。
—
パターンB: コレクションの型迷子（Genericsの不一致）
Hackのベクター（Vector）やマップ（Map）などのコレクションを扱う際も、型チェッカーは厳格です。
<
namespace MyProject;
function process_ids(vec
// 処理…
}
function run(): void {
// 文字列の配列を作ってしまった
$string_ids = vec[“1”, “2”, “3”];
// エラー！ vec
process_ids($string_ids);
}
💀 型チェッカーからのメッセージ（要約）
> Expected `vec
🛠 解決策
渡すデータの型を合わせるか、変換処理を挟みます。文字列を整数にキャストしたいなら、明示的に変換しましょう。
function run(): void {
$string_ids = vec[“1”, “2”, “3”];
// mapを使って string を int に変換する
$int_ids = Vec\map($string_ids, $s ==> (int)$s);
// これなら vec
process_ids($int_ids);
}
—
4. チーフアーキテクトからのアドバイス：エラーを味方につける極意
複雑なジェネリクス（Generics）や、複雑に絡み合ったインターフェースを設計していると、時には何行にもわたる巨大な型エラーに直面することがあります。そんなときは、以下のステップで脳内を整理してください。
1. パニックにならない：エラーの行数は長くても、本質的な情報は `Expected` と `But got` の1対の組み合わせです。
2. コードの最小単位（スニペット）に落とし込む：もし複雑すぎて分からなくなったら、該当部分だけを切り出した小さなコードで型チェッカーを走らせてみましょう。
3. 型推論に頼りすぎない：迷ったら、面倒臭がらずに変数や戻り値の型を明示（Type Hint）してください。Hackの型チェッカーは、人間が親切に教えてあげればあげるほど、正確で分かりやすいフィードバックを返してくれます。
Hackの厳格な型システムは、あなたの思考の整理整頓を手伝ってくれる最高の相棒です。エラーメッセージを「叱られている」のではなく、「正しい設計へと導いてくれているナビゲーション」として捉えられるようになると、Hackコーディングが何倍も楽しくなりますよ！
さあ、今日も清々しく `hh_client` を走らせましょう。あなたのコードが完璧な型安全に包まれますように！