やあ。Hackの世界へようこそ。
君が今書いているその一行の型アノテーションが、単なる「エラーを防ぐための保険」だと思っているなら、それは非常にもったいない。
今日は、HHVMの心臓部であるJIT（Just-In-Time）コンパイラが、君の書いた型情報をどう「武器」に変えているのか、その真髄を覗いてみよう。これを知れば、君の書くコードはただの文字列から、CPUが最高効率で走るための「設計図」へと変わるはずだ。
—
1. なぜ「型」がマシン語のスピードを変えるのか？
動的型付け言語（例えば素のPHP）では、プログラムは実行されるまで「その変数が整数なのか、文字列なのか、あるいはオブジェクトなのか」を知ることができない。だから、CPUは演算のたびに「おい、今計算しようとしてるこのデータは何だ？」と確認するコード（型ガード）を挟み込まざるを得ないんだ。
しかし、Hackは違う。君が `int` と宣言した瞬間、HHVMはそれを「絶対的な契約」として受け取る。
型ガード（Type Guard）の役割
JITコンパイラは、型が保証されていない場所では必ず「Guard」を置く。
- Guardなし: 演算（爆速）
- Guardあり: データの型確認 → 分岐（遅い）
Hackの型アノテーションは、この「Guard」をソースコードの段階で解決し、実行時の分岐を根こそぎ排除するためのガイドラインなんだ。
—
2. 実践：型が分岐を消し去る瞬間
簡単な例を見てみよう。
<<__EntryPoint>>
function main(): void {
// 型を明示しない場合
$a = 10;
$b = 20;
echo add($a, $b);
}
// 型アノテーションなし（HHVMは毎回「これはintか？」を確認する）
function add($x, $y) {
return $x + $y;
}
この `add` 関数が呼ばれるたび、HHVMは「$xと$yは本当に数値か？」をチェックするマシン語の分岐命令を生成する。これが繰り返されると、CPUの分岐予測が乱れ、パイプラインが停止する。
では、型を付けてみよう。
// 型アノテーションあり（HHVMは型を信用する）
function add(int $x, int $y): int {
return $x + $y;
}
これで、HHVMのJITコンパイラはこう判断する。
「ああ、ここは絶対にintが来る。型のチェックは不要だ。いきなり加算命令（ADD）のマシン語を叩き込め！」
結果、実行時のガード命令が消滅し、純粋な算術演算だけがCPUを駆け抜ける。これがHackの圧倒的なパフォーマンスの正体だよ。
—
3. 初学者が陥りがちな「型ガードの罠」
型を書けばいい、と言っても注意点はある。特に「Hackの型システムを裏切るような書き方」は、逆にHHVMを混乱させる。
よくある間違い：Nullableの放置
function process(?int $val): int {
// $val が null かもしれないのにチェックを怠ると…
return $val + 1; // エラーになるか、HHVMが余計なチェックを差し込む
}
`?int`（Nullable型）は、HHVMにとって「int か null のどちらか」という不確定要素だ。この場合、JITは「nullチェック」という分岐を必ず生成する。
解決策：
function process(?int $val): int {
// 明示的にガードする（ここで型が絞り込まれる）
if ($val is null) return 0;
// この行以降、$val は確実に int になり、チェックは消滅する！
return $val + 1;
}
`is` 演算子を使った型リファインメント（型の絞り込み）は、HHVMのJITに対して「ここから先は安全だ」と伝える強力なシグナルになるんだ。
—
4. チーフアーキテクトからのアドバイス
Hackを掌握するコツは、「HHVMと会話すること」だ。
1. 型をあいまいにしない: `mixed` は最後の手段だ。可能な限り具体的な型を書こう。
2. `is` 演算子を愛する: 実行時に型を確認せざるを得ない場所では、`is` を使って型を確定させよう。それが一番効率的なガードになる。
3. HHVMのJITログを恐れない: もしパフォーマンスに限界を感じたら、HHVMのプロファイリングツールを使って、どこで「Guard」が発生しているか見てみるといい。
型アノテーションは、君のコードの「自己防衛」ではない。それは、実行エンジンに対する最高の最適化命令なんだ。
ここをクリアすれば、君の書くコードはただ動くだけではなく、マシンレベルで最適化された美しい芸術品へと進化するはずだよ。さあ、次はどんなロジックを最適化しに行く？