大規模コードベースの深淵：HHVM型チェッカーが数百万行を「瞬時」に捌くメカニズム
数百万行に及ぶPHP/Hackのコードベースを抱えるとき、多くのエンジニアは「型チェックの待ち時間」に魂を削られる。だが、HHVMの型チェッカー（`hh_client` / `hh_server`）において、それは過去の遺物だ。
我々は、単なる静的解析ツールを作ったのではない。大規模な型システムを、リアルタイムかつインクリメンタルに維持するための「メモリ上のグラフ構造」を構築したのだ。なぜ我々が数ミリ秒単位で型エラーを特定できるのか。その内部構造を解剖する。
—
1. 差分解析の核：依存関係グラフ（Dependency Graph）
HHVMの型チェックが高速である理由は、全ファイルを毎回パースして再帰的に走査しているからではない。コードベース全体を「シンボル依存グラフ」としてメモリ上に常駐させているからだ。
グラフによる局所化
コードベースが変更された際、`hh_server` はファイルシステムを監視し、変更されたファイル（`File A`）の抽象構文木（AST）を更新する。ここで重要なのは、「`File A` に依存している他のシンボルだけを再チェックする」という局所化戦略だ。
- 依存関係の追跡: クラスの継承、インターフェースの実装、関数のシグネチャを「ノード」とし、その間の参照を「エッジ」としてグラフ化。
- Invalidation（無効化）: 変更が発生すると、そのノードから到達可能な下流ノードに対してのみ「Dirty」フラグを立て、再帰的に型推論を再実行する。
この仕組みにより、1行の修正が数百万行のチェックを誘発するような「最悪の事態」を回避している。
—
2. 厳格モード（Strict Mode）の哲学と型推論の高速化
Hackの `strict` モードは、単なる制約ではない。これは「型推論を最短経路で収束させるための制約」である。
<<__EntryPoint>>
function process_data(mixed $input): void {
// 厳格モードでは混合型を避け、型ガードを強制する
if ($input is int) {
// このスコープ内での $input は、型チェッカーにより「int」と確定される
// グラフ上の型推論エッジがこの時点で閉じる（収束）
echo $input + 1;
}
}
型チェッカーは「推論が必要な場所」を最小限に抑えることで計算量を削減している。`mixed` 型を多用するレガシーコードが遅いのは、推論の収束条件が複雑化し、グラフの探索範囲が広がるからだ。厳格な型定義は、型チェッカーに対する「ヒント」ではなく、「グラフを断ち切るための境界線」として機能する。
—
3. メモリ管理と「型」のデータ構造
数百万行のシンボル情報をメモリに保持するには、極めて効率的なデータ構造が必要だ。HHVMでは、型情報を「名目的な型（Nominal Typing）」として扱い、ポインタ比較ベースで型の一致を判定する。
内部表現の工夫
- Canonicalization（正規化）: 型表現を可能な限りメモリ内で一意化（Interning）する。これにより、型の一致確認は複雑な構造比較ではなく、単なるメモリ上のポインタ比較（`ptr1 == ptr2`）にまでコストを落とし込んでいる。
- Lazy Loading: すべてのファイルを一度にロードするのではなく、依存関係に基づいてオンデマンドで解析を行う。
—
4. 現場のシニアエンジニアへ：型チェッカーと「対話」するためのTIPS
このインクリメンタルな仕組みを最大限に活かすためには、開発スタイルそのものを最適化する必要がある。
1. 深い継承を避ける: 継承の階層が深くなればなるほど、依存グラフのエッジが複雑になり、Invalidationの伝播範囲が広がる。コンポジションを選択せよ。
2. `newtype` と `opaque` の活用: モジュール境界で型を隠蔽（Opaque）することは、型チェッカーがその境界を越えてグラフを探索する必要をなくす強力な手法だ。
3. `hh_server` のステータスを注視する: `hh_client –status` は単なるエラー報告ではない。サーバーがどの程度「同期（Sync）」できているか、グラフの現在地を知るための計器であることを忘れてはならない。
—
結論：システムは「予測」するために存在する
HHVMの型システムは、単にバグを排除するための防波堤ではない。数百万行のコードベースを、開発者が脳内で完全に把握できるサイズまで「圧縮」するための高度な知能である。
型チェックが遅いと感じるならば、それはコードが「解析不可能」なほど密結合になっている警告だ。HHVMの型チェッカーが高速に動作するということは、そのコードベースが論理的に正しく構造化されているという証左でもある。
さあ、コードを書き換えろ。グラフを断ち切り、型を厳格化せよ。それが、システムを支配する唯一の道だ。