迷えるPHPエンジニアへ：その「守り」は古い。Hackの型絞り込みでコードを浄化せよ。
PHPコードをHackへ移行する際、多くのエンジニアが犯す最大の過ちは、PHP時代の「防御的プログラミング」をそのまま持ち込むことだ。
`if (isset($data[‘id’]) && is_int($data[‘id’]))` といった冗長なチェックコードは、コードベースを汚染するノイズに過ぎない。Hackの型チェッカー（HHVM Typechecker）は、君が書いたコードの論理構造を解析し、型情報を推論する。
今日は、Hackの真髄である「型の絞り込み（Type Refinement）」を使いこなし、バグの温床を排除して保守性を最大化する設計術を伝授する。
—
1. なぜ「防御的if文」を捨て去るべきなのか
PHPでは、実行時まで型が確定しないため、あらゆる入力に対してバリデーションを行う必要がある。しかし、Hackでは「型の契約」をコードの随所に埋め込むことで、チェッカーに「この先は絶対にこの型である」という事実を証明させることができる。
アンチパターン：PHPスタイルの残滓
// ダメな例：ネストが深く、型チェッカーが型を追えない
public function process(mixed $input): void {
if (is_array($input) && isset($input[‘id’])) {
if (is_int($input[‘id’])) {
// ここでようやく $input[‘id’] が int として扱える
$this->execute($input[‘id’]);
}
}
}
このコードは、型チェッカーに対して「型が変わったこと」をうまく伝えられない。また、条件分岐の入れ子は認知負荷を高めるだけだ。
—
2. `HH\invariant` を使った型アサーションの極意
`HH\invariant` は単なる例外スローではない。HHVMの型チェッカーにとって、「この関数を通過したということは、指定した条件は真である」という強力な事実を伝えるシグナルだ。
推奨パターン：Early Return による型絞り込み
use namespace HH;
public function process(mixed $input): void {
// 1. まず「正しくないケース」を排除し、型チェッカーに型を確定させる
invariant(is_dict($input) && is_int($input[‘id’] ?? null), ‘Invalid input format’);
// 2. ここで $input は dict
// さらに ‘id’ キーが存在し、かつ int であることが型チェッカーに伝播する
$this->execute($input[‘id’]);
}
ここが重要だ：
`invariant` を通過した後の `$input[‘id’]` は、型チェッカーによって自動的に `int` へと昇格される。これにより、後続のコードで余計な型チェックをする必要はなくなる。これが「型を絞り込む」ということの正体だ。
—
3. 実務で差がつく：HSL `TypeSpec` の活用
非同期APIや外部連携では、`mixed` 型を扱う場面が避けられない。そんな時、`is_array` を繰り返すのは愚策だ。HSL（Hack Standard Library）の `TypeSpec` を使えば、実行時のバリデーションと型定義を同期させることができる。
プロダクションレベルの実装例
use namespace HH\Lib\TypeSpec;
type UserData = shape(‘id’ => int, ‘name’ => string);
public function handleApiResponse(mixed $data): UserData {
// 型定義に基づいた検証を行い、失敗時は即座に例外を投げる
// 型チェッカーはこの結果を “UserData” 型として認識する
return TypeSpec\shape(
shape(
‘id’ => TypeSpec\int(),
‘name’ => TypeSpec\string(),
)
)->assertType($data);
}
このアプローチの利点は、「型定義」と「バリデーションロジック」を分離しつつ、コードの安全性（Type Safety）を維持できる点にある。APIスキーマが変わった際、`UserData` 型と `TypeSpec` の定義を更新するだけで、システム全体に影響を及ぼす変更を確実にキャッチできる。
—
4. パフォーマンス上の注意点：守備範囲を定義せよ
型アサーションは非常に強力だが、ループ内や高頻度で呼ばれるホットパスで過剰な `TypeSpec` や `invariant` を置くのは慎重になるべきだ。
- 境界で防御せよ: HTTPリクエストの受け取り口や、外部連携の境界線で一度だけ型を絞り込め。
- 信頼できる内部: 一度 `UserData` 型として保証されたオブジェクトは、関数の奥深くへそのまま渡せ。再度のチェックは不要だ。
- HHVMの最適化: HHVMは型が確定しているコードを好む。型が曖昧な `mixed` のまま計算するよりも、早い段階で型を絞り込むことは、結果としてJITコンパイラの最適化を促進し、実行速度の向上にも繋がる。
—
最後に：コードは「証明」である
Hackを書くということは、単に動くコードを書くことではない。「HHVMという巨大なコンパイラに対し、君の意図したデータ構造が正当であることを数学的に証明する」という知的作業だ。
PHPの「何でもあり」の楽園から抜け出し、型という規律を持ってコードを記述せよ。そうすれば、君のコードベースから「想定外の型エラー」というバグは根絶される。
次は、君自身の手で、その冗長な `if` 文を削ぎ落としてみてほしい。型チェッカーが静かに「OK」と頷く感触を味わえば、もう君はHackの虜になっているはずだ。