こんにちは！Hackの世界へようこそ。
新しい言語を学ぶときはワクワクしますよね。特にHackは、Facebook（Meta）の巨大なシステムを支えるために生まれた「徹底的に高速化を追求した言語」です。
今日フォーカスするのは、Hackの型システムの中でも最もエレガントで、なおかつHHVM（HipHop Virtual Machine）のJIT（実行時）コンパイラと最高に相性が良い機能、「Shape（シェイプ）型」です。
一見すると「ただの便利な連想配列」に見えるShape型ですが、その裏側では、HHVMがアセンブリ言語レベルで超高速な「構造体アクセス」へと魔法のように変換しています。
「なぜShape型を使うと、プログラムが圧倒的に速くなるのか？」
この秘密を、基本の使い方からHHVMのメモリ内部の仕組みまで、優しく、そしてディープに解説します。ここをクリアすれば、Hackの基本と最高のパフォーマンスを引き出すコツはバッチリマスターできますよ！
—
1. Shape型ってなに？（基本の使い方と文法）
まずは基本からおさらいしましょう。
PHPやJavaScriptなどでは、データをまとめるために「連想配列（`dict`）」や「オブジェクト」を使いますよね。
// 普通の連想配列（dict）
$user = dict[
‘id’ => 42,
‘name’ => ‘Alice’,
];
これは便利ですが、「どんなキーが入っているか」がプログラムを実行するまで分かりません。タイポして `$user[‘nmae’]` と書いても、実行するまでエラーに気づけないのです。
そこで登場するのがShape型です。Shape型は、「どんなキーに、何の型の値が入っているか」を事前にカチッと定義できる特別な型です。
基本的なコード例
// 1. Shapeの型（Type Alias）を定義する
type User = shape(
‘id’ => int,
‘name’ => string,
‘email’ => ?string, // ?をつけると「nullかもしれない」という意味（オプショナル）
);
// 2. Shape型に適合するデータを作る
function get_user_info(): User {
return shape(
‘id’ => 42,
‘name’ => ‘Alice’,
‘email’ => null,
);
}
// 3. 使うときは、普通の連想配列のようにアクセスできる
function print_user(User $user): void {
// Hackの型チェッカーが ‘id’ が確実に存在し、int型であることを保証してくれます！
$id = $user[‘id’];
echo “ID: {$id}, Name: {$user[‘name’]}\n”;
}
陥りやすい文法エラーと対策
Shape型を使うときに、みんなが一度は引っかかるポイントが2つあります。
罠①：存在しないキーにアクセスしようとする
$age = $user[‘age’]; // ❌ 型チェッカーに「User型に ‘age’ というキーはありません！」と怒られます
- 対策: 定義に存在しないキーにはアクセスできません。必要なら、型定義（`User`）にキーを追加しましょう。
罠②：オプショナルな（値がないかもしれない）キーの扱い
type Article = shape(
‘title’ => string,
?’views’ => int, // キー自体が存在しないかもしれない場合は、キーの前に「?」をつけます
);
function show_views(Article $article): void {
// ❌ $article[‘views’] と直接書くと、キー自体がない可能性があるのでエラーになります！
// $views = $article[‘views’];
// ⭕️ 対策：安全に取り出すための「Shapes::idx」を使いましょう！
// 第3引数は、キーがなかった場合のデフォルト値（ここでは 0）です
$views = Shapes::idx($article, ‘views’, 0);
echo “Views: {$views}\n”;
}
「`Shapes::idx`」は、Shape型を安全に扱うための心強い相棒です。これさえ覚えておけば、型エラーに悩まされることはなくなりますよ！
—
2. なぜShape型は速いのか？（HHVMの舞台裏）
さて、ここからが本番です。チーフアーキテクトとしての私の大好きな領域、「HHVMの内部で何が起きているか」を覗いてみましょう！
「型が安全になるのは分かったけれど、なぜ実行速度まで速くなるの？」と思いますよね。
その理由は、HHVMが誇るJITコンパイラが、Shape型を「メモリ上の静的な構造体」として扱えるようになるからです。
普通の連想配列（`dict`）の「重い」現実
まず、普通の連想配列（`dict`）がメモリ上でどう動いているかイメージしてみましょう。
【 dict[‘name’] を探すとき（ハッシュマップ） 】
[キー: ‘name’]
│
▼（ハッシュ関数で計算）
[ハッシュ値: 0x7AF3…]
│
▼（メモリ上のテーブルを探索）
[スロット0] ─✖（違う）
[スロット1] ─✖（違う）
[スロット2] ─👉【発見！ 値: ‘Alice’】
このように、普通の連想配列から値を取り出すには、実行時に「キーの文字列からハッシュ値を計算し、メモリ上のテーブルを探索する」という複雑なステップが必要です。これをハッシュマップ・ルックアップと呼び、コンピュータにとっては結構な重労働なのです。
Shape型がもたらす「超高速道路」
一方で、HackのShape型を使うと、HHVMはコンパイル（JIT）時にこう考えます。
> 「この変数は `User` というShape型だな。ということは、
> 先頭から 0 バイト目に `id` (整数) がある
> 先頭から 8 バイト目に `name` (文字列へのポインタ) がある
> 先頭から 16 バイト目に `email` がある
> ということが、プログラムを実行する前から完全に決まっているぞ！」
この「何バイト目にあるか」というズレのことを「オフセット（Offset）」と呼びます。
JITコンパイラはこの情報を使って、ハッシュテーブルの探索コードをすべてスキップし、以下のようなシンプルなアセンブリ命令（機械語）に直接変換します。
【 Shape[‘name’] を探すとき（構造体アクセス） 】
メモリ上のベースアドレス（$userの場所）
│
▼ ＋ 8バイト（固定オフセット）
[ ‘Alice’ のデータへ直接アクセス！ ] ⚡️一瞬で完了⚡️
CPUの命令レベルで見ると、ハッシュ計算やループ処理が完全に消え去り、「このメモリのアドレスから8バイト進んだ場所のデータを読め（`mov rax, [rcx + 8]` のようなイメージ）」という1命令に化けるのです。
C言語やRustなどのシステムプログラミング言語が爆速で動くのと同じ仕組み（構造体アクセス）を、HHVMはShape型を通じて実現しているわけですね。
—
3. JITコンパイルの極限の最適化：`ArrayLayout`
さらに一歩踏み込んで、HHVMの内部アーキテクチャの話をしましょう。
HHVMの内部では、すべての値は `TypedValue` という16バイトの構造体で管理されています。そして、配列やShapeの実体は `ArrayData` というC++のオブジェクトです。
HHVMのJITコンパイラは、実行中に「このShapeは常に同じ形（レイアウト）をしているな」ということを学習します（これを ArrayLayoutの専門化/Specialization と呼びます）。
1. プロファイリング段階:
JITは、コードが実行される中で「この関数に渡されるShapeは、常に `User` 型の構造をしている」という統計情報を集めます。
2. JITコンパイル段階:
「よし、この処理はハッシュ探索を完全にバイパスして、定数オフセット（例: Offset 1）による直接メモリアクセスに最適化（Specialized Layout）した機械語を生成しよう！」と決定します。
この仕組みのおかげで、HackのShape型は、動的な柔軟性を保ちながらも、C言語の `struct`（構造体）に匹敵するメモリ効率とアクセス速度を叩き出すことができるのです。
—
まとめ：型チェッカーとJITを味方につけよう！
今日学んだことを簡単に振り返ってみましょう。
- Shape型は、キーと値の型をカチッと固定できる便利なデータ構造。
- オプショナルなキーには、`Shapes::idx` を使って安全にアクセスする。
- 裏側では、HHVMが「ハッシュ探索」を「静的なオフセットアクセス（構造体）」へと劇的に最適化している。
- これにより、メモリ効率が上がり、CPUの命令数が劇的に減るため、爆速で動く。
Hackでコードを書くとき、単なる `dict` ではなく `shape` を選ぶということは、「型チェッカーに安全性を保証してもらいつつ、HHVMのエンジンにターボチャージャーをかける」ということなのです。
「ここを意識して書けるようになれば、あなたも立派なHackエンジニアですよ！」
最初は少し難しく感じたかもしれませんが、裏側の動きを知ると、コードを書くのがもっと楽しくなりますよね。ぜひ、あなたのプロジェクトでもShape型を積極的に使って、型安全で爆速なアプリケーションを作ってみてください。
何か分からないことがあれば、いつでも聞いてくださいね。ハッピーハッキング！