Hack言語の深淵：型エイリアスの「循環参照」をエレガントに断ち切る極意
こんにちは。HHVMのアーキテクチャの底に潜む型システムの挙動を追いかけていると、時折「型が自分自身を追いかけて終わらない旅に出る」ような場面に出くわしますよね。
HackのStrict Modeは非常に強力ですが、複雑なデータ構造を定義しようとすると、避けて通れないのが「循環参照（Recursive Type Alias）エラー」です。
今日は、なぜこのエラーが起きるのか、そしてHHVMの型チェッカーが納得する形でどう解決すればいいのか、その「極限の知見」を紐解いていきましょう。
—
そもそも、なぜ「循環参照」はエラーになるのか？
Hackの型チェッカー（`hh_client`）は、コードが実行される前に、全ての型のサイズと構造を確定させようとします。
例えば、こんなコードを書いてしまったとしましょう。
// 循環参照の典型的な失敗例
type Node = shape(‘value’ => int, ‘next’ => ?Node);
人間が見れば「Nodeの中にNodeがあるんだな」と直感的に理解できますよね。しかし、型チェッカーにとっては「Nodeを解決するためにNodeが必要で、そのNodeを解決するためにまたNodeが必要で……」という無限ループに見えてしまうんです。
HHVMは「決定不能な型」を許しません。これが、コンパイル時に投げ出される循環参照エラーの正体です。
—
解決策：型を「抽象化」して逃がす
この循環を断ち切るための最もスマートで、現場で多用される手法は、「不透明な型（Opaque Type）」や「インターフェース」を活用して、型チェッカーの視線を逸らすことです。
1. `newtype` を使って隠蔽する
Hackには `type`（エイリアス）と `newtype`（不透明型）の二種類があります。`newtype` を使うと、外部からは中身が見えなくなるため、再帰構造を定義する際に型チェッカーの厳格なチェックをパスしやすくなります。
// 外部からは「Nodeの正体」が隠蔽されるため、循環が許容される
newtype Node = shape(‘value’ => int, ‘next’ => ?Node);
function createNode(int $val): Node {
return shape(‘value’ => $val, ‘next’ => null);
}
2. データクラス（`class`）に昇格させる
もし型エイリアスで限界を感じているなら、それは「そのデータ構造が型エイリアスに収まる規模を超えている」という合図です。
実は、Hackで最も「大人な」解決策は、`shape`を捨てて `class` を定義することです。クラスであれば、プロパティの型として自分自身の型を定義しても、型チェッカーは「クラスの参照」として扱うため、循環による爆発を回避できます。
// クラスにすることで、型チェッカーは「参照」として解決する
class Node {
public function __construct(
public int $value,
public ?Node $next = null,
) {}
}
// これなら循環しても問題なし！
$node = new Node(10, new Node(20));
—
陥りやすい罠：エイリアスの連鎖
初学者がよくやってしまうのが、エイリアスをエイリアスで定義し、その先で循環させてしまうパターンです。
type A = B;
type B = C;
type C = A; // ここで循環！
型チェッカーからすれば、これらは全て繋がった「巨大な迷路」です。迷路を解くコツは、「定義を可能な限りフラットにする」こと、そして「再帰が必要な場所には必ず `class` や `interface` を配置する」ことです。
—
まとめ：型チェッカーと「仲良く」するコツ
Hackの型システムは、あなたの敵ではなく、「実行時の予期せぬクラッシュ」を防ぐ強力なガードマンです。
- 単純な構造であれば `type` を使う。
- 再帰的・複雑な構造なら、迷わず `class` に切り替える。
- どうしても `shape` で行きたいなら、`newtype` で構造を隠す。
「ここをクリアすれば、Hackの基本はバッチリマスター」と言った意味が伝わりましたでしょうか？
HHVMの型チェッカーは非常に賢いですが、その分だけ「人間側の設計意図」を明確に言語化する必要があります。型定義で悩むことは、コードの設計を洗練させる絶好のチャンスです。ぜひ、型システムを味方につけて、堅牢なHackライフを楽しんでくださいね！
—
Hackコアコミッターからの追伸：もし特定の型エラーで一日中悩んでいるなら、一度 `hh_client` のログを深く眺めてみてください。型チェッカーがどこで「思考停止」したか、そのヒントが必ず隠されていますよ。