Hackの再帰型（Recursive Types）を掌握せよ：型安全とパフォーマンスを両立する深淵のテクニック
Hackの型チェッカー（HHBC/HHVM）は、単なる静的型付けの枠組みではない。それはコードの「意味論（Semantics）」をコンパイル時に凍結させるための強固な防壁だ。
しかし、多くのエンジニアが再帰的なデータ構造（ツリーやグラフ、再帰的なJSONスキーマ）に直面した途端、その防壁の向こう側にある複雑さに足をとられ、中途半端な `mixed` や複雑怪奇な `shape` の迷宮に迷い込む。
今日は、Hackで「再帰的データ構造」を安全かつ最高効率で実装するための、アーキテクトとしての極意を授ける。
—
1. なぜ Hack は再帰型を嫌うのか？
Hackの型チェッカーにおいて、再帰型（Recursive Types）の実装を阻む最大の壁は「停止性（Termination）」と「型推論の収束」だ。
型チェッカーが無限再帰に陥るのを防ぐため、Hackではトップレベルの型定義で直接的な自己参照を禁止している。例えば、以下のような定義はコンパイルエラーとなる。
// これはコンパイルエラー：再帰的な型エイリアスの直接定義は禁止されている
type Tree = shape(‘val’ => int, ‘children’ => vec
これは型チェッカーが型を解決する際、無限ループに陥ることを避けるための仕様だ。これを回避しつつ、実務で耐えうる堅牢な設計を行うには、「型エイリアス」ではなく「クラス」または「インターフェース」の抽象化を用いるのが鉄則である。
—
2. 実務で採用すべき「再帰構造」の王道パターン
プロダクション環境で最も保守性が高いのは、`sealed` インターフェースを用いた再帰構造だ。これにより、型チェッカーに「どの型がこのツリーに含まれうるか」を明示的に教え込むことができる。
実装例：堅牢な汎用ツリー構造
<<__Sealed>>
interface Node {
public function getValue(): int;
}
final class Leaf implements Node {
public function __construct(private int $value) {}
public function getValue(): int => $this->value;
}
final class Branch implements Node {
// 再帰構造をクラスのコンポジションとして定義する
public function __construct(
private int $value,
private vec
) {}
public function getValue(): int => $this->value;
public function getChildren(): vec
}
なぜこの設計が「美しい」のか？
1. `<<__Sealed>>` の採用: `Node` インターフェースを実装可能なクラスをこのファイル内に限定することで、型チェッカーは `Node` 型をスイッチ文で網羅的に処理できる（Exhaustiveness Checking）。
2. メモリ効率: `vec
3. 安全な再帰: クラス名による参照であれば、型チェッカーは循環参照を「型の定義」ではなく「依存関係」として認識するため、エラーを回避できる。
—
3. パフォーマンスと型安全性のトレードオフ
再帰的なデータ構造を扱う際、最も注意すべきは「型推論のコスト」だ。
再帰が深くなればなるほど、`hh_client` が推論を完了させるための計算量は指数関数的に増加する。特に非同期処理（Async）と組み合わせた場合、型が `Awaitable
アーキテクトからの忠告：
- 型ヒントをケチるな: 再帰関数の境界では、必ず明示的な型ヒントを記述せよ。推論に頼ると、型チェッカーは最悪のケース（`mixed` へのフォールバック）を想定してしまい、本来防げるはずのバグを見逃す。
- データ構造の平坦化: パフォーマンスがボトルネックになる場合、再帰構造をあえて「IDベースのフラットな構造（マップ）」に変換し、再帰的な走査をループ処理に置き換えることを検討せよ。
—
4. 実践：再帰的データ構造を安全に走査するコード
最後に、上記の `Node` を再帰的に走査し、合計値を算出するプロダクション品質のコードを提示する。
function sumTree(Node $node): int {
// sealedインターフェースのおかげで、ここでの網羅性チェックが保証される
if ($node is Leaf) {
return $node->getValue();
}
$sum = $node->getValue();
foreach ($node->getChildren() as $child) {
$sum += sumTree($child); // 安全な再帰呼び出し
}
return $sum;
}
このコードの美しさは、`$node is Leaf` という型ガードが、型チェッカーに対して「この先は `Leaf` 型として振る舞え」と動的に指示を送っている点にある。型チェックの結果は常に確定的であり、ランタイムでの型エラーは発生し得ない。
—
まとめ：Hackを掌握するということ
Hackにおける再帰型は、禁忌ではない。それは「クラスによる抽象化」と「型ガード」という現代的な道具によって制御可能な対象だ。
- 再帰型定義には `sealed` インターフェースを使え。
- 複雑な再帰は、型の依存関係を明確にして分離せよ。
- 推論に頼らず、型チェッカーを「誘導」せよ。
これらを守るだけで、あなたの書くコードは、HHVMという強固なエンジン上で、バグという概念から解放された「静的堅牢性」を勝ち取ることができる。
コードレビューでこの設計が提示されたら、自信を持って承認してほしい。それが、Hackの深淵を理解した証だ。