こんにちは！HHVMの内部構造やHackの厳格な型システムを日々いじくり回している、君の先輩エンジニアです。
他の言語、例えばTypeScriptやJava、あるいはPHPの緩い世界からHackの世界に飛び込んできた君なら、こう思ったことがあるはずです。「あれ、自分のクラスのプロパティに自分自身の型を指定したら、型チェッカーに怒られたぞ……？」と。
そう、Hackの厳格な静的モード（`<
ここをクリアすれば、Hackの型システムを完全に手なずけたと言っても過言ではありません。一緒に、深淵なる再帰型の世界を覗いてみましょう！
—
そもそも「再帰型」ってなんだっけ？
ツリー構造や連結リスト（Linked List）を想像してください。
例えば、JSONのデータ構造や、企業の組織図のような「木構造」です。親ノードの中に子ノードがあり、その子ノードの中にもさらに子ノードがある……という構造ですね。
これをHackで素直に表現しようとすると、こんなコードを思い浮かべるはずです。
<
namespace HackGuide\Recursive;
// 【注意】これはコンパイルエラーになる悪い例です！
class Node {
public function __construct(
public string $value,
public ?Node $children, // 自分自身を型として使いたい！
) {}
}
「おっ、親切に `?Node` って書いたから動くはずだよね？」と思いますよね。
しかし、HHVMの型チェッカー（Typechecker）を通すと、無慈悲にこう怒られます。
> Typechecker Error: Recursive types are not allowed here…（ここでは再帰型は許可されていません）
なぜ、こんな制限があるのでしょうか？ それは、型チェッカーが無限ループに陥るのを防ぐためであり、HHVMがJITコンパイル時にメモリレイアウトを最適化するための一種の防壁なのです。
—
制限を突破せよ！ Hack流「再帰型」のスマートな回避と設計術
「じゃあ、ツリー構造はHackで作れないの？」
安心してください、作れます！ ここからが腕の見せ所です。
Hackの型チェッカーを怒らせずに自己参照構造を作るには、「直接自分自身を抱え込むのではなく、コンテナや抽象インターフェースを一枚挟む」という設計上の工夫（イディオム）を使います。
パターン1: ジェネリクスとコンテナで包み込む
一番堅実なアプローチは、再帰の末端やコンテナを型パラメータ（Generics）で抽象化することです。
<
namespace HackGuide\Recursive;
// ノードが持つデータの型をジェネリクス（T）にする
class TreeNode
// 子要素のリストをベクター（Vec）で保持する
// これにより、型チェッカーの無限展開を防ぎつつ安全に再帰を表現できます
public function __construct(
public T $value,
public vec
) {}
}
<<__EntryPoint>>
function main(): void {
// 綺麗なツリー構造の構築
$root = new TreeNode(
“Root”,
vec[
new TreeNode(“Child A”, vec[]),
new TreeNode(
“Child B”,
vec[
new TreeNode(“Grandchild B-1”, vec[]),
],
),
],
);
echo “ツリーの根: ” . $root->value . “\n”;
echo “子Aの値: ” . $root->children[0]->value . “\n”;
// ここをクリアすれば、Hackの基本はバッチリマスターできますよ！
echo “再帰型・コンテナパターンのクリア！\n”;
}
このコードでは、`TreeNode
—
HHVMの裏側：なぜ型チェッカーは再帰を嫌うのか？
ここで少し、HHVMのコアな話をしましょう。
Hackの型チェッカーは、コードを実行する前にミリ秒単位の超高速で「すべての型の辻褄が合っているか」を完全に検証します。
もし、制限なしの無制限な再帰型を許してしまうと、型チェッカーが型を展開し続ける過程でメモリが爆発したり（無限再帰）、型の解決が終わらなくなったりするリスク（停止問題の亜種）が生じます。
また、HHVMの実行エンジン（ASTからバイトコードへの変換、そしてJITによるネイティブコード生成）においても、オブジェクトのサイズやメモリレイアウトを静的に確定させることが非常に重要になります。
だからこそ、Hackはあえて「ここで再帰をするなら、こう書きなさい」という明確な境界線を引いているのです。この厳格さこそが、大規模なコードベースでもバグを未然に防ぎ、圧倒的なパフォーマンスを発揮できる秘密なんですね。
—
まとめ：今日のミッションクリア！
- HackのStrict Modeでは、単純な自己参照の型定義（直接の再帰型）には制限がある。
- 無限ループやメモリ爆発を防ぐため、型チェッカーは厳格にチェックを行っている。
- 回避策として、`vec` などのコレクションやジェネリクスを挟むことで、美しく安全なツリー構造やグラフ構造が表現できる。
他の言語から来ると最初は少し厳しく感じるかもしれませんが、この「型チェッカーとの対話」に慣れてくると、あなたの書くコードは驚くほど堅牢で、保守性の高いものに生まれ変わります。
分からないことがあれば、いつでも先輩エンジニアに聞いてくださいね。それでは、次のHackライフも楽しんでいきましょう！