Hackの型チェッカーを攻略せよ：『Recursive Types』の限界と、その先にある設計の美学
Hackの型システムを触り始めた皆さんが、最初に出会う「高潔な壁」。それが再帰的型定義（Recursive Types）です。
「木構造を作りたいだけなのに、なぜ型チェッカーは怒るのか？」
「なぜ `HHVM` はこの定義を許してくれないのか？」
今日は、Hackの静的型システムを司る型チェッカーの深淵を覗きながら、再帰的データ構造をいかにエレガントに、そして安全に定義するかを解説します。ここをマスターすれば、Hackの型システムとの付き合い方が劇的に変わりますよ。
—
1. なぜ「再帰」は型チェッカーを悩ませるのか？
再帰型とは、自分自身を定義の中に含む型のことです。例えば、典型的な「二分木」を考えましょう。
// ダメな例：型エイリアスの再帰的定義
type BinaryTree = shape(
‘value’ => int,
‘left’ => ?BinaryTree,
‘right’ => ?BinaryTree,
);
これを書くと、Hackの型チェッカーは容赦なくエラーを吐き出します。なぜなら、Hackの型エイリアス（`type`）は、自身を直接参照するような「無限の展開」を許容しない設計になっているからです。
型チェッカーが型を検証する際、その型を展開し続けます。もし再帰が許されると、型チェックが永遠に終わらない（またはメモリを食い尽くす）無限ループに陥ります。HHVMのアーキテクチャが目指すのは「高速で安全な実行」です。無限ループを起こすリスクのある定義は、そもそも門前払いされるのがHackの流儀なのです。
—
2. 回避策の王道：`class` という名の「防波堤」
では、Hackで木構造を扱うにはどうすればいいのか？ 答えはシンプルです。「型エイリアス」ではなく「クラス」を使うことです。
型チェッカーにとって、クラスは「名前」で管理される実体です。クラスの内部で自分自身の型を参照することは、型チェッカーにとっては「展開の終了点」となります。
実践：安全な木構造の定義
<<__ConsistentConstruct>>
final class BinaryNode {
public function __construct(
public int $value,
public ?BinaryNode $left = null,
public ?BinaryNode $right = null,
) {}
}
function traverse(BinaryNode $node): void {
// 再帰的に処理を行う際も、型チェッカーはクラス名で解決するため安全です
echo $node->value . “\n”;
$node->left?->traverse();
$node->right?->traverse();
}
ここがポイント：
クラスを用いることで、型チェッカーは「これは `BinaryNode` 型である」と即座に認識できます。型を展開して中身を覗き込む必要がないため、無限ループの心配がありません。これが、Hackにおける「再帰的構造の正攻法」です。
—
3. それでも「型エイリアス」でやりたいときは？（高度な設計）
もし、どうしてもクラスを使いたくない（またはデータとしてシリアライズして持ち運ぶ必要がある）場合はどうすべきか。そこで登場するのが `darray` や `vec` を利用した構造的な型定義、あるいは `newtype` を使った抽象化ですが、Hackにおいては `enum` や `union types` を組み合わせた設計が最も洗練されています。
特に、Hackの `enum` や `as` キーワードをうまく活用すると、再帰的な構造を安全に記述可能です。
—
4. 陥りやすい罠：型チェッカーとの「対話」を忘れない
初学者がよくやるミスは、「エラーを消すために `mixed` 型を使う」ことです。
// 危険なコード
type Tree = shape(‘val’ => int, ‘child’ => mixed);
`mixed` を使うと、型チェッカーは「中身はなんでも良い」と判断してチェックを放棄します。これはHackを使っている意味を根底から覆す行為です。
先輩からのアドバイス：
型エラーが出たときは、「なぜ型チェッカーが怖がっているのか？」を考えてみてください。再帰型でエラーが出るのは、型チェッカーが「あなたのデータ構造の境界線が不明確だよ」と親切に教えてくれているサインなのです。
—
まとめ：Hackの型システムは「信頼」の上に成り立つ
Hackの型チェッカーは、厳格であればあるほど、実行時のランタイムエラーを未然に防いでくれます。
- 型エイリアス（`type`）の再帰は、無限ループの元。
- 構造を定義するなら、迷わず `class` を使おう。
- `mixed` で逃げず、型チェッカーと対話しながら「終了条件のある設計」を心がける。
このルールを守るだけで、あなたの書くコードは驚くほど堅牢になり、HHVMの最適化エンジンもその恩恵を最大限に引き出せるようになります。
ここをクリアできれば、もうHackの基本はバッチリです！次は、ジェネリクスを使ったより高度な型制約の世界に足を踏み入れてみましょうか。また次の記事でお会いしましょう！