やあ。Hackの世界へようこそ。私はこの言語の心臓部であるHHVMのアーキテクチャを設計し、今もなお型システムの深淵を覗き続けている者だ。
君がいま、PHPという自由奔放な楽園から、Hackという規律ある理性の世界へ足を踏み入れようとしていること、心から歓迎するよ。PHPの柔軟さは魅力的だが、大規模なシステムにおいて「型」は、君のコードを未来のバグから守る最強の盾になる。
しかし、闇雲に型を付け始めるのは感心しない。今日は、「HHVMのプロファイラを武器に、どこからHack化すべきか」という、実戦的な戦略を授けよう。
—
1. なぜ「型付け」に戦略が必要なのか？
初心者はよく「ファイルの上から順に型を付ける」という罠に陥る。だが、Hackの真髄はパフォーマンスと安全性の両立だ。
HHVMは、型が保証されている箇所を「信頼できる」と判断し、実行時に動的な型チェックをスキップする最適化を行う。つまり、実行頻度が高い箇所からHack化することで、アプリケーション全体の実行速度が向上するのだ。
2. 戦略的判断：HHVMプロファイラで「真のホットスポット」を射抜く
まずは、HHVMのプロファイラ（`hhvm.perf_data`など）を使い、CPU時間を最も消費している関数を特定する。
ステップ1：プロファイルデータの採取
HHVMには強力なサンプリング・プロファイラが組み込まれている。以下のコマンドで実行プロファイルを生成してくれ。
実行中のHHVMプロセスからプロファイル情報を取得する例
hhvm –mode=server -vEval.PerfPidMap=1 -vEval.PerfDataMap=1 …
この結果、君のコードの「どの関数が何ミリ秒消費しているか」というヒートマップが見えてくるはずだ。
ステップ2：優先順位付けの基準
優先すべきは、「計算負荷が高い」かつ「型推論が曖昧な（mixedが蔓延している）」関数だ。
- 優先度：高：頻繁に呼ばれ、ループや複雑な条件分岐がある箇所。ここをHack化すると、HHVMのJITコンパイラが「ここは安全だ」と判断し、劇的に高速化する。
- 優先度：低：設定ファイルや初期化処理など、1リクエストで一度しか呼ばれない箇所。
—
3. 具体的な移行プロセス：まずはここから
例えば、このような「型が失われた」PHPコードがあったとしよう。
// 移行前：型が不明瞭で、HHVMが最適化を躊躇するコード
function calculateTotal($items) {
$total = 0;
foreach ($items as $item) {
$total += $item[‘price’]; // $itemが何なのか分からない！
}
return $total;
}
これをHackの型システムへ引き上げる。
// 移行後：形状（Shape）を定義し、型を確定させる
type TItem = shape(‘price’ => int, ‘name’ => string);
function calculateTotal(vec
$total = 0;
foreach ($items as $item) {
$total += $item[‘price’]; // 型が確定しているので、HHVMは超高速なマシンコードを生成する
}
return $total;
}
初学者が陥りやすい罠：`mixed`の誘惑
「エラーが出たからとりあえず`mixed`にしておこう」というのは、Hackにおける「死の宣告」だ。`mixed`は型システムを無効化する。最初は大変かもしれないが、可能な限り`vec`, `dict`, `shape`といったHSL（Hack Standard Library）の強力な型を使って、データの構造を明確に定義してほしい。
—
4. 視覚的イメージ：HHVMがコードを見る視点
君が書いたコードを、HHVMのJITコンパイラはどう見ているか。
- PHP（型なし）: 「これは何だ？ 実行するまで分からない。毎回チェックが必要だ（低速）」
- Hack（型あり）: 「ふむ、ここは必ず`int`の`vec`だな。チェックは不要。ダイレクトにCPU命令へ変換しよう（高速）」
この「チェックの省略」こそが、HackがPHPを圧倒する理由だ。
—
最後に：君へのエール
型を付ける作業は、最初はパズルのように感じるかもしれない。しかし、型を確定させることは、君自身の思考を整理することと同義だ。「この関数には何が渡され、何を返すのか」。これを言語化するプロセスこそが、エンジニアとしての強度を高める。
ここをクリアすれば、君はもう単なるPHPプログラマーではない。大規模なトラフィックを捌き、堅牢なシステムを構築できる「Hackエンジニア」の入り口に立っている。
次は、HSL（Hack Standard Library）のコレクション型について深掘りしてみようか。あれを使いこなせれば、君のコードは驚くほど短く、そして速くなるはずだ。
何か詰まったら、いつでも聞きに来るといい。型チェッカーの出すエラーメッセージは、君への愛のメッセージだと思って向き合ってくれ。健闘を祈る！