Hackの「型絞り込み」を掌握せよ：HHVM型チェッカーが脳内でどう動いているか
Hackのコードを書く際、君たちは単に「エラーを消す」ために型を書いているのではないはずだ。Hackの静的型チェッカー（HHVMの心臓部）が、コードの文脈をどう解釈し、論理の枝葉をどう刈り取っているのか。この「型絞り込み（Type Refinement）」のメカニズムを理解しているか否かで、君が書くコードの堅牢性は雲泥の差が出る。
今日は、型推論のブラックボックスを開き、プロダクションで「壊れないコード」を記述するための極意を伝授する。
—
1. 型絞り込みの核心：Control Flow Graph (CFG) の追跡
Hackの型チェッカーは、単なるテキスト解析ではない。コードをCFG（制御フローグラフ）に分解し、分岐の各パスにおいて「どの変数がどの型を持ちうるか」という状態を厳格に追跡している。
例えば、`?T`（nullable）型の変数が`if`文でチェックされるとき、チェッカーは以下のロジックで型を再推論する。
<<__EntryPoint>>
function process_data(?string $input): void {
// ここでの $input は ?string
if ($input is null) {
// このブロック内では $input は null に確定
return;
}
// この時点では、型チェッカーは「nullの可能性」をCFGから排除済み。
// $input は安全に string として扱える。
echo Str\length($input);
}
このとき、チェッカーは「`if`の条件が真であるパス」と「偽であるパス」の両方で、変数の型情報を独立して更新している。これがHackにおけるFlow-sensitive Typingの正体だ。
—
2. 現場で差が出る「型絞り込み」の設計パターン
実務では、`if`文のネストが深くなることが最大の悪だ。型の絞り込みを最大限に活かすためには、早期リターン（Guard Clauses）と型ガード（Type Guards）を組み合わせるのが鉄則である。
推奨：ガード節による絞り込み
以下のコードは、APIレスポンスのハンドリングでよく見る「型を絞り込めず、後続の処理が冗長になる」ケースを回避した美しい例だ。
type APIResponse = shape(‘status’ => string, ‘data’ => mixed);
function handle_response(APIResponse $res): void {
// 1. まず異常系を排除し、型を確定させる
if ($res[‘status’] !== ‘success’) {
Logger::error(‘API failed’);
return;
}
// 2. この先では $res[‘data’] の型を期待する形に絞り込む（shapeの再定義やis演算子の活用）
// 複雑な型チェックには is を使い、チェッカーに確信を与える
if (!is_array($res[‘data’])) {
return;
}
// ここでは $res[‘data’] が array であることが証明されている
foreach ($res[‘data’] as $item) {
// 安全かつ高速にアクセス可能
}
}
—
3. パフォーマンスと落とし穴：推論を阻害する「型汚染」
型チェッカーが推論を諦める瞬間がある。それは、「変数が再代入される」あるいは「外部から変更されうる（可変な）プロパティ」を扱うときだ。
してはいけないコード：型絞り込みの無効化
class Container {
public ?string $val = null;
}
function process(Container $c): void {
if ($c->val is nonnull) {
// ここで $c->val を使用する前に、外部の別のスレッドや別のメソッドが
// $c->val を null に書き換える可能性があるため、
// チェッカーは型を絞り込めない場合がある。
// 対策：一度ローカル変数にコピーする
$val = $c->val;
// これにより、$val は不変（immutable）として扱われ、
// チェッカーは安心して string 型と推論できる。
echo Str\length($val);
}
}
極意： プロパティを直接参照して何度も型チェックを行うのは、パフォーマンス的にも推論の正確さ的にもコストが高い。「ローカル変数へのキャプチャ」こそが、HHVMの最適化を最大限に引き出すプロの技法だ。
—
4. 結論：型は「制約」ではなく「武器」である
Hackの型システムは、君たちが書いたコードが「実行時に何が起きるか」を事前に証明するための数学的ツールだ。
1. 複雑な分岐は早期リターンで解消し、CFGを単純化せよ。
2. `is`演算子を積極的に使い、チェッカーに明示的なヒントを与えよ。
3. 可変なプロパティはローカル変数に退避させ、型推論の精度を維持せよ。
コードを書くとき、心の中で「今、型チェッカーはどの変数をどう解釈しているか？」を想像してほしい。その視点を持つエンジニアが書くコードは、単に動くだけでなく、バグが入り込む余地を論理的に排除した「美しいプロダクションコード」になるはずだ。
さあ、次は君の書くその一行が、HHVMの型エンジンをどう唸らせるかを見せてくれ。