やあ。Hack言語という、究極の「静的型付けの自由」と「動的言語の柔軟性」が交差するこの深淵へようこそ。
今日は、HHVMの心臓部であるJIT（Just-In-Time）コンパイラが繰り広げる、「賭けと裏切りの物語」について語ろうと思う。多くのエンジニアが「型を書けば速くなる」と信じているが、実はその裏でJITがどれほどの綱渡りをしているのか。その深淵を覗けば、君のコードの書き方は劇的に変わるはずだ。
—
JITの「投機的最適化」とは何か？
HHVMのJITは、いわば「超天才だが少しせっかちなギャンブラー」だ。
コードを実行する際、JITは「この変数は今のところずっと整数だから、次はたぶん整数だろう」と推測して、機械語（マシンコード）を生成し、実行速度を極限まで高める。これを投機的最適化（Speculative Optimization）と呼ぶ。
しかし、もしその予測が外れたら？ 突然、整数だと思っていた変数に文字列が入ってきたら？
その瞬間、JITは構築したコードを捨て、安全な（しかし遅い）汎用的なコードに戻る。これをデオプティマイゼーション（Deoptimization / Deopt）と言う。
イメージ図：JITの「賭け」
[実行フェーズ]
1. 予測: 「ここは常に int だな」 -> 専用の高速な機械語を生成（最適化）
2. 実行: 高速に回る！
3. 突然の裏切り: 「あれ、string が来たぞ！？」 -> 予測失敗！
4. 復旧: 生成した機械語を破棄し、HHVMの汎用インタプリタに戻る（デオプト発生）
この「デオプト」が頻発すると、JITの恩恵は消え去り、むしろコンパイルのオーバーヘッドでアプリケーションは重くなる。
—
なぜ「型推論」だけでは不十分なのか？
Hackの型チェッカーは優秀だ。だが、静的解析が「型安全」を保証しても、実行時の動的な型遷移までは制御できない場合がある。
例えば、こんなコードを見てみよう。
// 悪い例：型がブレやすい設計
function calculate(mixed $input): int {
// $input に int も string も入ってくるような曖昧な設計
if ($input is int) {
return $input 2;
}
return (int)$input;
}
このコード、`mixed`（何でもあり）を使うと、JITは「どの型が来るか」を予測できず、常にガード条件（型の確認）を挟むことになる。これが重いんだ。
—
対策：極限の速度を引き出すための「型宣言」の作法
JITを味方につけるには、「JITを迷わせないコードを書くこと」が鉄則だ。以下の3つの指針を意識してほしい。
1. `mixed` を追放し、`Shape` や `Generics` を活用する
`mixed` はJITの敵だ。型が特定できなければ、JITは「型チェック」をコードの中に埋め込み続けなければならない。
// 良い例：Genericsで型を確定させる
function process
return $value + 1;
}
こう書けば、HHVMは「`T` は数値型である」と確定できるため、型チェックを省いた最適化された機械語を自信を持って生成できる。
2. 型の「揺らぎ」を境界で止める
どうしても外部からのデータ（JSONなど）を扱う場合、境界（Boundary）で型を厳格にキャストしてしまおう。
// 境界で型を確定させる
function handleRequest(mixed $raw_data): void {
// ここで型を確定させる（Shapeを活用）
$data = type_assert_shape($raw_data, shape(‘id’ => int));
// 以降の処理では $data は確実に int型 としてJITされる
do_something($data[‘id’]);
}
3. 「プロファイル駆動」を意識する
HHVMにはプロファイラがある。デオプトが多発している箇所は、HHVMのログに出力される。もし君のコードで「頻繁に型が変わる場所」があるなら、それは設計を見直すサインだ。
—
先輩からのアドバイス：君が目指すべき場所
初心者の頃は「エラーが出ないコード」を書くことに必死になる。だが、Hackを使いこなす者は「JITがどう解釈するか」を想像しながらコードを書く。
- 型ヒントをケチらない：君の書く型ヒントは、ただの注釈ではなく、JITへの「命令書」だ。
- 不変性（Immutability）を愛する：型が変わらないコードは、JITにとって最も安全で、最も高速に最適化できる対象だ。
「型は縛りではなく、JITコンパイラへのプレゼントだ」と思ってみてほしい。君が適切に型を与えれば、HHVMはそれに応えて、君の想像を超える速度で動いてくれるはずだ。
さあ、デオプトのログを眺めて、JITを最高の相棒に変えてやろうじゃないか。分からないことがあったら、いつでもまた聞きに来てくれ。君のHackの旅を、私はいつでもサポートしているよ。