Hackの「沈黙するエラー」を叩き潰せ：型チェッカーが暴くデッドコードの深淵
Hack言語の真骨頂は、単なるPHPの型付きラッパーではない。HHVMの心臓部である型チェッカー（`hh_client`）は、コードが実行される前にその「存在意義」を数学的に証明しようとする強固な論理エンジンだ。
今日は、多くのエンジニアが軽視しがちな「デッドコード（到達不能コード）」をテーマに、なぜそれがシステムにとって毒であり、HHVMがどのようにそれを検知し、そして我々がどう美しいコードを書くべきかを紐解いていこう。
—
1. なぜ「死んだコード」は悪なのか
デッドコードは単なるゴミではない。それは「将来の自分を欺く罠」だ。
- 認知的負荷: 読者は「このコードはいつ実行されるのか？」を推論し続けねばならない。
- 不整合の温床: ロジックが更新された際、死んでいるはずのコードが「ゾンビ」として残り、デバッグを迷走させる。
- 最適化の阻害: HHVMのJITコンパイラは、実行可能性を前提に最適化を行う。到達不能なパスはコンパイルコストを無駄に増大させる。
HackのStrict Modeにおいて、型チェッカーは制御フローグラフ（CFG: Control Flow Graph）を構築し、各ノードが「到達可能か否か」を徹底的に追跡する。
2. 型チェッカーによる検知アルゴリズムの核心
HHVMの型チェッカーは、単なる静的なパターンマッチングではない。以下のロジックでコードの死を宣告する。
1. 不変条件の伝播: `if` 文の条件式が定数（`false`）に評価される場合、そのブロック内のパスは論理的に「到達不可能」と判定される。
2. 型ナローイングの極致: `is` 式や `instanceof` による型絞り込みの結果、空集合（`nothing`）に帰着する分岐は切り捨てられる。
3. 終端（Terminal）ノードの追跡: `throw`、`return`、`exit` で終わる関数呼び出しの後のコードは、型チェッカーによって「死」が確定する。
3. 実践：保守性を高めるデッドコード排除と設計パターン
実務でよくある「不吉な匂い」のするコードを、堅牢かつ美しいコードへ昇華させる手法を伝授する。
NGパターン：ゾンビを飼い慣らす分岐
function processPayment(PaymentStatus $status): void {
if ($status === PaymentStatus::COMPLETED) {
// 処理…
}
// ここに到達した時、statusが何であるかの保証が曖昧
// 将来的にここが実行される可能性を考慮せねばならない
handleUnexpectedState();
}
改善案：網羅性チェック（Exhaustive Check）の活用
Hackの真の力は、`match` 式と型チェックを組み合わせることで発揮される。
<<__EntryPoint>>
function processPaymentStrict(PaymentStatus $status): void {
// match式は「網羅的」であることを要求する。
// ここで全てのenumケースを処理しないと、型チェッカーがエラーを吐く。
$result = match ($status) {
PaymentStatus::COMPLETED => doComplete(),
PaymentStatus::PENDING => doPending(),
PaymentStatus::FAILED => doFail(),
// ここで網羅されているため、これ以降にコードを書く必要はない。
// つまり、この下に書かれたコードは「到達不可能」として検知される。
};
// この行に到達したとき、$resultの型は完全に確定しており、
// 意図しないパスの混入は数学的に排除されている。
}
4. パフォーマンスと型システムの調和
非同期API連携を行うコンポーネントでは、特に `Awaitable` の扱いが重要だ。デッドコードを排除することで、HHVMのプロファイラは「本当に呼び出される関数」を正確に識別し、インライン展開（Inlining）の精度を向上させる。
プロフェッショナルのためのTips:
- `invariant()` の活用: 実行時に到達不能であることを確信している箇所には `invariant($condition, ‘Message’)` を使う。これは型チェッカーに対し「ここから先は必ず条件を満たす」というヒントを与える強力なアサーションだ。
- `nothing` 型の意識: 関数が常に例外を投げる場合、その戻り値は `noreturn` となる。この型を型定義に明示的に利用することで、呼び出し元でのデッドコード検知がより鋭敏になる。
まとめ：沈黙を守るコードを書け
Hackの型チェッカーは、諸君のコードが正しく動くことを保証する優秀な副操縦士だ。彼らが「到達不能」と指摘する箇所があれば、それを「修正」ではなく「削除」する勇気を持ってほしい。
コードを削ることは、機能を削ることではない。「何が起こりうるか」を明確に定義し、それ以外を排除する行為こそが、堅牢なプロダクションコードを生む唯一の道だ。
さあ、エディタを開き、`hh_client` を回せ。そして、不要なパスをすべて切り落とし、血の通った、美しい論理構造だけを未来に残そう。
—
Hackコアコミッターより