こんにちは！Hackの世界へようこそ。
普段、私たちが書いているHackのコードは、HHVM（HipHop Virtual Machine）という非常に強力なエンジンの上で動いています。Hackを使い始めたばかりの皆さんは、「型をしっかり書くとエラーが防げて便利だな」と感じているかもしれません。
ですが、実はHackの「型」には、もう一つ「プログラムを劇的に速くする」という魔法のような側面があるんです。
今日は、HHVMの心臓部であるJIT（Just-In-Time）コンパイル、その中でも特にパフォーマンスの鍵を握る「投機的最適化（Speculative Optimization）」と、その失敗である「デオプティマイゼーション（Deoptimization）」についてお話しします。
ここを理解すれば、あなたはただ「動くコード」を書く人から、「マシンの性能を極限まで引き出すエンジニア」へとステップアップできますよ。
—
1. HHVMは「未来を予測する」ギャンブラー？
HHVMのJITコンパイラは、コードを実行しながら「この変数は、次もきっと `int` 型だろう」といった予測（投機）を立てて、その型に特化した超高速なマシンコードを生成します。これを「投機的最適化」と呼びます。
イメージ図で言うと、こんな感じです：
1. 観察: 「お、この `add` 関数の引数は、100回連続で `int` が来ているな」
2. 賭け: 「よし、次も `int` だと賭けよう！ `int` 専用の近道（高速パス）を作るぞ」
3. 実行: もし次も `int` なら、一切の型チェックをスキップして光の速さで計算が終わります。
これがHackが他の動的言語に比べて圧倒的に速い理由の一つです。
—
2. 「デオプティマイゼーション」という名のブレーキ
しかし、もし予測が外れたらどうなるでしょうか？
`int` が来ると信じて疑わなかったところに、突然 `string` が放り込まれた場合……。
JITは「うわっ、話が違う！ この高速パスは使えない！」とパニックになります。これがデオプティマイゼーション（Deopt）、あるいは「サイド出口（Side Exit）」への転落です。
Deoptが発生すると、HHVMは実行中の最適化コードを捨て、安全な（しかし遅い）解釈実行モードに戻り、再度型を調べ直してコンパイルをやり直します。これは非常にコストが高い処理で、頻発するとアプリケーション全体のパフォーマンスがガタ落ちしてしまいます。
—
3. 実践：JITを困らせるコードと、喜ばせるコード
では、具体的にどのようなコードがDeoptを招くのか、例を見てみましょう。
❌ JITが困ってしまうコード（不安定な型）
function calculate_sum(vec
$total = 0;
foreach ($items as $item) {
// $item が int だったり string だったり float だったりすると、
// JITは「どの型に最適化すればいいんだ！」と混乱し、
// 毎回型チェックを行うか、最悪の場合 Deopt します。
if ($item is int) {
$total += $item;
} else if ($item is string && is_numeric($item)) {
$total += (int)$item;
}
}
return $total;
}
このコードは一見便利ですが、`mixed` を使うことでJITの予測を妨げています。
✅ JITが喜ぶコード（安定した型）
/
- 型を厳格に int に絞り込むことで、
- JITは「このループ内は 100% int しか来ない」と確信し、
- CPUのレジスタを最大限に活かした爆速なコードを生成できます。
/
function calculate_sum_fast(vec
$total = 0;
foreach ($items as $item) {
$total += $item; // ここはノーブレーキで実行されます！
}
return $total;
}
—
4. デオプティマイゼーションを避けるための3つの知恵
Hackの基本をマスターし、さらにその先へ行くためのポイントをまとめました。
① `mixed` や `dynamic` を「最後の手段」にする
`mixed` は型チェッカーを黙らせるには便利ですが、JITにとっては「何が来るか分からない暗闇」です。可能な限り具体的な型（`int`, `string`, `MyClass` など）を指定しましょう。
② シェイプ（Shapes）の構造を固定する
Hack特有の `shape` を使う際、実行中にキーを増やしたり減らしたりするのは避けましょう。
// 良い例：構造が固定されている
type User = shape(‘id’ => int, ‘name’ => string);
// 悪い例：あとから何が入るか分からない
function update_data(dict
JITは「特定のキーを持つシェイプ」に対して最適化をかけるため、形が変わらないことはパフォーマンスに直結します。
③ ヌル可能性（Nullable）と向き合う
`?int`（int または null）は便利ですが、ループの中で頻繁に `null` と `int` が入れ替わると、JITは「どっちなんだ！」と迷います。
ループに入る前に `null` チェックを済ませ、ループ内では `int` だけが流れるように設計するのがプロの技です。
—
5. まとめ：型はマシンへの「信頼」の証
Hackの型システムは、単にバグを見つけるための「校閲者」ではありません。HHVMという高速なエンジンに対して、「このコードはこのレールから外れないから、安心して加速していいよ」と伝えるための「設計図」なんです。
- 投機的最適化: JITが型を予想して速く走ること。
- デオプティマイゼーション: 予想が外れて急ブレーキをかけること。
- 対策: 厳格な型を使い、データの「形」を安定させること。
これらを意識するだけで、あなたの書くHackコードは驚くほど洗練されたものになります。
「ここをクリアすれば、Hackの基本はバッチリマスターできますよ」と最初にお伝えしましたが、このJITの動きを意識できるようになったあなたは、もう立派なHackエンジニアの入り口に立っています。
これからも、型を味方につけて、楽しくて高速な開発を続けていきましょうね！