泥沼のPHPから、静的型の牙城へ：Hack移行後に「型システムの崩壊」を防ぐための深層防衛論
PHPの動的な柔軟性は、ある段階を超えたシステムにおいて「技術的負債」という名の毒薬となる。我々がHackを選んだのは、HHVMという強固な実行基盤と、その上に構築された厳格な型推論エンジンによる「計算資源の最適化」と「実行時安全性」の獲得に他ならない。
しかし、PHPから移行した多くの現場で、悲劇が繰り返されている。移行直後の熱が冷めると、チームは「型チェックの警告」を握り潰し、`mixed`型の無秩序な拡散を許し、再びPHPの泥沼へと引き戻されるのだ。
本稿では、HHVMアーキテクチャの根幹を知る者の視点から、コードベースを静的型の要塞として維持するための極限の戦略を説く。
—
1. HHVMのメモリレイアウトと「型」の物理的な意味
HHVMにおいて、型は単なるドキュメントではない。JITコンパイラ（Transitive JIT）は、型情報を元にメモリレイアウトを最適化する。
例えば、`int`と明示された変数は、CPUのレジスタ上で最適に扱われるが、`mixed`に逃げた瞬間、HHVMは「Tagged Union」としてのボックス化されたデータ構造（`TypedValue`）を生成せざるを得ない。これはメモリ消費を増大させ、キャッシュミスを誘発し、何より型チェッカーの守護範囲から外れることを意味する。
「型を放棄することは、実行効率と安定性を同時に捨てることである」
この事実を、コードを書く全てのエンジニアが「物理的な損失」として認識しなければならない。
—
2. 厳格な型チェックを維持するコーディング規約（The Iron Rules）
チームの運用において、以下のルールは「提案」ではなく「コンパイラの規約」として強制せよ。
A. `.hhconfig` の極限設定
デフォルト設定は甘すぎる。まずは、型システムの牙を剥き出しにする設定から始める。
.hhconfig
暗黙的なAny型を一切許可しない
assume_php = false
戻り値の型推論を強制する
disallow_implicit_returns = true
構造的型付けを厳密にする
strict_types = 2
B. `mixed` の完全追放（Ban the Mixed）
`mixed`はHackにおける「敗北」の印だ。新しいコードベースにおいて、`mixed`の使用はコンパイルエラーにするべきである。
- 対策: `HH_FIXME`をCIで禁止する。特定の行で無視を許可した瞬間、規律は崩壊する。例外的なケースは必ず`shape`や`class`でインターフェースを定義し、型システムを拡張せよ。
C. HSL（Hack Standard Library）の「不変性」を強制する
HSLは単なるライブラリではない。型安全性を維持するための設計思想そのものだ。
// Bad: ミュータブルな配列操作はバグの温床
$items = vec[1, 2, 3];
$items[] = 4;
// Good: 不変性を担保するHSLの流儀
$new_items = Vec\concat($items, vec[4]);
データの不変性を守ることは、HHVMのメモリ管理において「参照カウント（Reference Counting）」の競合を減らし、JITの最適化余地を広げることにも繋がる。
—
3. 型チェッカーと戦うな、飼い慣らせ
型システムが「うるさい」と感じるなら、それは設計が未熟な証拠だ。Hackの型チェッカーは、メモリ上の安全な遷移を数学的に保証しようとしている。
「型を絞り込む（Type Narrowing）」技術
`if`文や`is`演算子を使って、コンパイラに安全性を証明させるテクニックを磨くこと。
function process(mixed $input): void {
// コンパイラに型を推論させるためのガード句
if ($input is int) {
// ここでは $input は int として確定し、最適化されたコードパスに入る
echo $input 2;
}
}
この「型推論の枝刈り」を意識することで、HHVMは複雑な型分岐を排除し、極めて高速なマシンコードを生成する。
—
4. チーム運用：静的解析を「規律」へ昇華させる
技術は運用なしでは無力だ。以下の3ステップをCIに組み込め。
1. 段階的移行の禁止: 移行が完了したディレクトリから順次`strict`モードを強制せよ。中途半端なディレクトリが残ると、型汚染は必ず伝染する。
2. `hh_client`のフルチェックをCIの要件にする: 差分チェックだけでなく、全体のグラフチェックを通すこと。依存関係の破壊は、小規模な変更から発生する。
3. 型定義のコードレビューを最優先する: ロジックよりも「型の宣言」をレビューせよ。`shape`の定義が適切か、`null`の可能性がある箇所を`?T`で適切に扱っているか。ここを議論する文化こそが、Hackを使いこなすチームの唯一の条件だ。
—
結びに：型を制する者がシステムを制す
Hack言語は、PHPの自由度から「責任」を奪い取り、それを「信頼」へと変換するエンジンだ。型チェックを厳格にすることは、開発体験を損なうことではない。むしろ、未知のバグに怯える時間を削減し、アーキテクチャの純粋性を守るための「知的防衛」である。
君たちが書く一行のコードが、メモリ上でどう解釈され、HHVMがいかに効率的に実行するか。その想像力が、システムを伝説的な安定性へと導く。
型を信じろ。コンパイラを愛せ。そして、動的型付けという甘美な誘惑から、己のコードベースを死守せよ。