鉄の規律と型推論：HHVM型チェッカー（HackC）の深淵を覗く
Hackという言語は、単なるPHPの「厳格な兄弟」ではない。それは、大規模なコードベースにおける「正しさ」を、実行時ではなくコンパイル時に確定させるための、緻密に計算された工学的な防壁だ。
多くのエンジニアは `hh_client` が返すエラーメッセージを「型チェック」と呼ぶが、その裏側で何が起きているのか。今日は、型推論エンジンがAST（抽象構文木）をどのように料理し、制約を解決しているのか、その内部構造を解剖する。
—
1. 探索の起点：ASTからTast（Typed AST）への変換
HHVMの型チェッカー（`hh_server`）は、ソースコードをパースしてASTを生成した後、Tast（Typed AST） を構築するという極めて重要なフェーズを通る。
この過程において、型チェッカーは単に型を付与しているのではない。「制約の伝播」を行っている。
- 名前解決とシンボルテーブル構築: スコープ内の全シンボルを走査し、再帰的な依存関係をグラフ化する。
- 制約の生成（Constraint Generation）: 各式に対して「このノードの型は何か？」という問いに対し、メタ変数（型変数）を割り当てる。
例えば、`$x = f($y)` という式があれば、型チェッカーは内部的に `$T_x = f($T_y)` という制約式を生成する。この制約を解く作業こそが、我々が「型チェック」と呼ぶプロセスの本質だ。
2. 単一化（Unification）の限界と制約解決のアルゴリズム
Hackの型推論は、Hindley-Milnerをベースにしつつも、部分型（Subtyping）と共変・反変性という、現実的な大規模開発に必要な複雑性を内包している。
単なるイコール関係（`A == B`）ではなく、`A <: B`（AはBの部分型であるべき）という制約を解く必要がある。これを解決するために、エンジンは以下のステップを踏む。
1. Subtyping Constraint Propagation: 型階層を辿り、境界条件（Lower Bound / Upper Bound）を更新する。
2. Delayed Solving: 即座に解けない複雑な型式は、解決可能な状態になるまで「遅延制約キュー」に積まれる。
3. Recursive Unrolling: ジェネリクスや再帰的な型定義に対して、再帰的な走査を行い、グラフのサイクルを検知する。
ここで重要なのは、「いつエラーを投げるか」という設計思想だ。Hackは可能な限り情報を集め、推論が破綻した瞬間に確定的なエラーを出すよう最適化されている。
3. 実践：ジェネリクスの限界を突き抜ける
以下のコードを例に、コンパイラがどのように「制約」を処理しているかを見てみよう。
<<__EntryPoint>>
function main(): void {
// ジェネリクスを用いた制約の伝播
$data = vec[1, 2, 3];
// 型チェッカーはここで $T_data <: vec
// この代入操作が妥当であるかを検証する
process( $data );
}
function process
// 型チェッカーは T が num の部分型であることを検証する
// もしここで string を渡せば、Tast構築時に制約不整合が発生する
echo (string)$input[0];
}
このコードにおいて、`process` が呼び出される際、型チェッカーは以下の順序でメモリ上の制約グラフを書き換える。
1. `vec Strict Modeを強制する理由は、単なるコーディング規約ではない。「型推論の不確定性」を排除するためだ。 PHP互換の緩い型チェック環境では、コンパイラは `mixed` 型に遭遇するたびに、あらゆる推論を諦め（Bottom型として扱う）、ランタイムの防御に頼らざるを得ない。しかし、Strict Modeであれば、型チェッカーは全シンボルの型を確定させることができる。 これは結果的に、HHVMのJIT（Just-In-Time）コンパイラにとって「推論された確実な型情報」を意味する。 Hackの型チェッカーは、単なるコードチェッカーではない。それは、あなたの書くロジックがメモリ上でどのように振る舞うかを、実行前に証明する「形式検証機」に近い。 シニアエンジニアとしてあなたが意識すべきは、「どうすれば型チェッカーを出し抜けるか」ではなく、「どうすれば型チェッカーに全幅の信頼を置けるような、厳格で美しい境界線を描けるか」だ。 型推論のアルゴリズムを理解すれば、エラーメッセージはもはや「邪魔な警告」ではなく、「あなたのコードに対する最も高精度なアドバイス」に変わる。 さあ、型システムという鉄の規律を使い倒し、HHVMという超高性能なエンジンを、貴方の設計通りに極限まで加速させてほしい。
2. `int <: num` というサブタイピング制約を充足させる。
3. もし `vec4. なぜ「Strict Mode」は最強の防御壁なのか
結論：型チェッカーは「未来のバグ」を殺すエンジンである