こんにちは！Hack言語の世界へようこそ。世界最高峰のHHVMとHackの内部構造を知り尽くした私が、今日も熱く、そして分かりやすくHackの神髄をお伝えしていきますね。
他のプログラミング言語、例えばPHPやTypeScript、JavaあたりからHackの世界に飛び込んできたとき、多くの開発者が最初にぶn…いや、感動するポイントが「厳格な静的型付け（Strict Mode）」の美しさです。
今回は、そのHackの静チィックな世界において、少しだけ頭を悩ませるけれど、マスターすれば最強の武器になるテーマ『Recursive Types（再帰型）』と、型チェッカーの制限を華麗にかわす設計パターンについて徹底解説していきます。
ここをクリアすれば、Hackのデータ構造設計の基本はバッチリマスターできますよ！ぜひ最後までついてきてくださいね。
—
1. 再帰型（Recursive Types）ってなに？なぜ必要なの？
プログラミングをしていると、「自分自身の中に、自分と同じ型のデータを持つ構造」に直面することがよくありますよね。一番身近な例が、「ツリー構造（木構造）」や「グラフ構造」です。
例えば、社内の組織図や、Webサイトのカテゴリ階層を思い浮かべてみてください。「親カテゴリ」の下に「子カテゴリ」がぶら下がり、その子カテゴリの下にもさらに……という無限に続くネスト構造です。
これをTypeScriptやJavaっぽく描こうとすると、こんなイメージになりますよね。
[カテゴリ A]
┣━ [カテゴリ B]
┃ ┗━ [カテゴリ C]
┗━ [カテゴリ D]
この構造を、Hackの厳格な型システムでどう表現すればよいでしょうか？「自分自身の型を、自分のプロパティの型として指定する」――これが再帰型の正体です。
—
2. HackのStrict Modeと再帰型の基本
Hackでコードを書くときは、ファイルの先頭に必ずおまじないを書きますよね。そう、これです。
<<__Strict>>
この「Strict Mode」こそが、HHVM（HipHop Virtual Machine）の型チェッカーを全力で唸らせる厳格な領域です。「曖昧さは一切許さない。すべての変数、すべてのプロパティに型を教えなさい」というHackからの愛のムチですね。
では、実際に再帰的なデータ構造――例えば、シンプルな「数値を持つノードが連なるリスト（連結リスト）」をHackで定義してみましょう。
<<__Strict>>
namespace HackMasterclass;
// ノードの定義
class Node {
// 次のノードを持つ。自分自身（Node）の型を指定！
public ?Node $next;
public int $value;
public function __construct(int $value, ?Node $next = null) {
$this->value = $value;
$this->next = $next;
}
}
おっ、これだけで動くように見えますよね？ `$next` の型に `?Node`（Nodeか、あるいはnull）を指定しています。クラスの定義内での自己参照は、Hackの型チェッカーもちゃんと受け入れてくれます。
—
3. 陥りやすい罠：型チェッカーの「再帰制限」とどう向き合うか？
さて、ここからが本題です。
クラスを使った再帰構造は比較的すんなり書けるのですが、Hackの強みである「Type Alias（型の別名）」や、複雑なコンテナ、あるいはジェネリクスを組み合わせた再帰を行おうとすると、型チェッカーがこんな悲鳴を上げることがあります。
> 「無限に展開される可能性のある再帰的な型エイリアスはサポートされていません」
型チェッカー（hhvm）は、ビルド時（静的解析時）にすべての型を解決しようとします。そのため、次のような「野放図な再帰型エイリアス」を作ってしまうと、型チェッカーの無限ループを防ぐための安全装置（制限）にガッツリ引っかかってしまうのです。
❌ やってしまいがちなNGパターン（概念例）
// 型エイリアスで無限の再帰を表現しようとする（これは型チェッカーに怒られます）
type JsonNode = int | string | vec
※JSONのようなネストするデータを型定義したいとき、上記のように直感的に書きたくなりますが、複雑なエイリアスのネストや特定の関数型との組み合わせによっては、型チェッカーの解析限界（制限）を超えてエラーになってしまうことがあります。
💡 解決策：クラスとインターフェースでカプセル化する
型チェッカーの再帰制限をスマートにかわし、かつ堅牢なコードを書くための黄金律は、「生の型エイリアスに頼らず、クラスやインターフェースのオブジェクト指向のポリモーフィズム（多態性）を利用する」ことです。
先ほどのJSONの例を、Hackらしく安全にクラス構造に落とし込んでみましょう。
<<__Strict>>
namespace HackMasterclass\Json;
// 基底の抽象クラス
abstract class JsonValue {}
class JsonInt extends JsonValue {
public function __construct(public int $value) {}
}
class JsonString extends JsonValue {
public function __construct(public string $value) {}
}
// 配列（自分自身を含む！）
class JsonArray extends JsonValue {
// vecの中に JsonValue が入るため、実質的な再帰構造を安全に表現できる
public function __construct(public vec
}
class JsonObject extends JsonValue {
public function __construct(public dict
}
この設計の何が素晴らしいか分かりますか？
1. 型チェッカーが安全に追跡できる：プレミティブな型の無限ネストではなく、明確なクラス階層（`JsonValue`を継承した具象クラス）になっているため、HHVMの型チェッカーが迷子になりません。
2. パターンマッチングや多態性が使える：実行時に `is` 演算子や `switch`（最近のHackでは高度なパターンマッチングも！）を使って、安全に中身を取り出すことができます。
—
4. 実践！安全なツリー構造を巡回するコード
それでは、ここまで学んだ再帰的データ構造を安全に扱う実践的なコードを書いてみましょう。ファイルツリーを模したサンプルです。
<<__Strict>>
namespace HackMasterclass\FileSystem;
// ファイルシステムのエントリを表す抽象クラス
abstract class Entry {
public function __construct(public string $name) {}
}
// 単なるファイル
<<__ConsistentConstruct>>
class File extends Entry {
public function __construct(
string $name,
public int $sizeBytes,
) {
parent::__construct($name);
}
}
// ディレクトリ（中に複数の Entry を持つため、再帰構造になる！）
class Directory extends Entry {
/ @var vec
public vec
public function __construct(string $name, vec
parent::__construct($name);
$this->children = $children;
}
}
class TreeTraversal {
// 再帰的にファイルサイズを計算するメソッド
public static function calculateTotalSize(Entry $entry): int {
// パターンマッチングの代わりに is チェックで安全に分岐
if ($entry is File) {
return $entry->sizeBytes;
} else if ($entry is Directory) {
$total = 0;
foreach ($entry->children as $child) {
// 自分自身を呼び出す再帰関数
$total += self::calculateTotalSize($child);
}
return $total;
}
return 0;
}
}
<<__EntryPoint>>
function main(): void {
// ツリー構造の構築
$root = new Directory(‘root’, vec![
new File(‘readme.md’, 1024),
new Directory(‘src’, vec![
new File(‘main.hack’, 2048),
new File(‘utils.hack’, 512),
]),
]);
$totalSize = TreeTraversal::calculateTotalSize($root);
echo “Total size: ” . $totalSize . ” bytes\n”;
// 実行結果: Total size: 3584 bytes
}
このコードでは、`Directory` が `Entry` のベクター（`vec
HHVMの型チェッカーは、この構造を完璧に理解し、コンパイル時に型安全性を担保してくれます。
—
5. 先輩からのアドバイス：まとめ
お疲れ様でした！今回のポイントをサクッと振り返ってみましょう。
- 再帰型とは：自分自身を型の中に内包するデータ構造（ツリーやグラフなど）のこと。
- 型チェッカーの制限：複雑すぎる型エイリアスの無限再帰はチェッカーを混乱させるため避けるべき。
- 解決のアプローチ：抽象クラスやインターフェースを軸にしたオブジェクト指向の階層構造設計（ポリモーフィズム）を使うことで、HHVMの厳格な型チェックをクリアしつつ、安全で拡張性の高い再帰構造を作ることができる。
「型が厳しすぎる」と感じるかもしれませんが、それはHHVMがあなたのコードの未来のバグを未然に防ぎ、最高パフォーマンスで実行するための愛の証です。この壁を越えたあなたなら、どんなに複雑なドメインモデルだってHackでエレガントに表現できますよ。
それでは、次回のHackマスタークラスでお会いしましょう！Happy Hacking!