実行時エラーを「過去」にする：Shape型で連想配列の闇を照らす
やあ、Hackの世界へようこそ。
PHPからやってきた君が最初に直面するのは、おそらく「連想配列（associative array）の自由さ」が、大規模開発では「凶器」に変わるという現実だろう。どこで何が追加され、どこでどのキーが消えたのか。実行するまで誰も教えてくれないあの不安な日々。
今日は、その不安をコードのコンパイル時に完全に消し去る魔法、「Shape型（shape）」について語ろう。これはただの型定義じゃない。君のデータ構造を「設計図」として言語レベルで固定する、最強のツールだ。
—
1. なぜ「連想配列」は危ないのか？
PHPの連想配列は、言ってみれば「なんでも入る箱」だ。
// PHPの悪夢
$user = [‘name’ => ‘Alice’];
// … 100行後 …
echo $user[‘email’]; // 実行時エラー！キーがない！
この「キー忘れ」や「スペルミス」を、実行中にユーザーが踏むまで放置するなんて、プロの仕事じゃないよね。HHVMの型チェッカー（`hh_client`）は、この惨劇を未然に防ぐために存在しているんだ。
—
2. Shape型：連想配列に「骨格」を与える
Shape型を使えば、連想配列に「名前」と「型」という骨格を与えられる。
// Shape型の定義
type User = shape(
‘name’ => string,
‘email’ => string,
‘age’ => int,
);
function printUserInfo(User $user): void {
echo $user[‘name’]; // 安全！必ず存在することが保証されている
}
これで、もし君が `’name’` を `’namae’` と書き間違えれば、HHVMは即座に赤線を引いて教えてくれる。「おっと、そのキーは定義されていないぞ」とね。
ポイント：`?` を使った「オプション」の表現
すべてのキーが必須ではない場合もあるよね。そのときは `?` をつけるだけでいい。
type OptionalUser = shape(
‘name’ => string,
‘bio’ => ?string, // bioはなくてもいい（null許容）
);
—
3. 陥りやすい罠：これだけは覚えておいて
初心者がよくつまずくポイントを、先輩として先回りして教えておくよ。
罠①：`shape` は「厳密」が基本
Shape型はデフォルトで「定義されていないキーへのアクセスを禁止」する。逆に言えば、定義にないキーを代入しようとしても型エラーになる。
$data: User = shape(
‘name’ => ‘Bob’,
‘email’ => ‘bob@example.com’,
‘age’ => 20,
‘extra’ => ‘unexpected’, // ここでエラー！定義外のキーは許さない
);
罠②：`darray` との混同
古いPHPコードから移行する際、`darray`（密な連想配列）をそのまま使いたくなるかもしれない。だが、「データ構造を可視化したいなら、迷わず `shape` を選べ」。`darray` は単なるマップであり、中身の型をチェッカーは追えないからだ。
—
4. なぜこれがアーキテクチャとして「正しい」のか
HHVMの内部では、Shape型は非常に効率的に扱われる。実行時には通常の連想配列に近い形でメモリ配置されるが、型チェッカーが静的に解析を完了しているため、実行時のオーバーヘッドが極限まで削ぎ落とされるんだ。
君が Shape型を使うことは、単にコードを安全にするだけじゃない。「このデータはこういう構造であるべきだ」というドキュメントを、コードそのものに刻み込んでいるんだ。 これが、大規模プロジェクトでチームの生産性を維持する唯一の道だよ。
—
さあ、一歩踏み出そう
Shape型を使いこなせるようになれば、君が書くコードの「信頼性」は一気に跳ね上がる。
1. 定義する: まず `type` でデータの骨組みを作る。
2. 型を注入する: 関数や引数にその型を指定する。
3. 型チェッカーの恩恵を受ける: エラーが出たら、それは「本番環境で起きるはずだったバグ」を事前に防げたということだ。
ここをクリアすれば、もう君はPHPの混沌から脱却し、Hackの堅牢な世界を掌握したも同然だ。
何か分からないことがあったら、いつでも聞いてくれ。君のHackライフが、最高にエキサイティングなものになることを期待しているよ！