構造なき混沌を葬り去れ：Shape型が実現する「静的な正当性」の極意
PHPの連想配列（`array`）は、柔軟という名の「無法地帯」だ。キーを一つ書き間違えただけで、本番環境で突然 `Undefined index` が顔を出し、スタックトレースを汚染する。我々は長年、この動的型付けの代償を支払ってきた。
だが、HackにはShape型がある。これは単なるデータ構造の定義ではない。HHVMの型チェッカーが、あなたのコードの論理的整合性をコンパイル時に保証するための強力な「境界線」だ。
今日は、連想配列という名の泥沼から脱出し、堅牢なプロダクションコードを構築するための思考法を伝授する。
—
1. なぜ「配列」をそのまま使うのが悪手なのか
PHPの `array` は、ハッシュマップ、リスト、セット、そして構造体（Struct）の役割をすべて兼任している。これが、データ構造の意図を隠蔽する。
例えば、ユーザー情報を扱う際、以下のようなコードを書いていないか？
// 悪しきPHP的思考
function process_user(dict
// $user[‘emial’] とタイポしても、コンパイラは何も言わない
echo $user[‘email’];
}
このコードは、型チェッカーの恩恵を一切受けていない。`mixed` に逃げることは、責任を放棄することと同義だ。
—
2. Shape型による「契約」の明文化
Shape型を使うと、連想配列は単なる「キーと値の箱」から「固定されたスキームを持つオブジェクト」へと昇華される。
実践：堅牢なデータ構造の定義
namespace App\Types;
// 必須項目とオプション項目を明確に分離する
type UserProfile = shape(
‘id’ => int,
‘username’ => string,
‘email’ => string,
?’last_login’ => int, // ? はオプション（存在しない場合もある）
);
function process_user(UserProfile $user): void {
// コンパイル時チェック：’email’ が存在することを保証
// タイポすれば、その瞬間に型エラーが発生する
echo $user[‘email’];
}
この定義により、`$user[‘emial’]` と書いた瞬間に型チェッカーが警告を吐く。バグが本番環境へ到達する前に、IDEやCI上で「死」を迎える。これがプロダクション・グレードの設計だ。
—
3. 非同期API連携での「境界型（Boundary）」としての活用
外部APIとの連携時、JSONレスポンスをそのまま扱うのは最も危険だ。ここでShape型を「境界防壁」として使う。
use namespace HH\Lib\Dict;
async function fetch_user(int $id): Awaitable
$raw_data = await external_api_call($id);
// 外部からのデータは信頼できないため、キャストまたは検証が必要
// Shape型へ変換することで、以降の処理では「このデータには必ずidとemailがある」と断言できる
return shape(
‘id’ => (int)$raw_data[‘id’],
‘username’ => (string)$raw_data[‘username’],
‘email’ => (string)$raw_data[‘email’],
);
}
外部APIのレスポンスが壊れていたとしても、この変換ポイントで確実にキャッチできる。システム全体に `mixed` の汚染を広げない。これがアーキテクチャの鉄則だ。
—
4. パフォーマンスの真実：HHVMの最適化
「Shape型を多用するとオーバーヘッドがあるのでは？」と懸念する諸君へ。
HHVMのアーキテクチャにおいて、Shape型は単なる連想配列のラッパーではない。HHVMのJITコンパイラは、Shape型が定義されている場合、そのキーのオフセットを静的に決定できるため、配列のハッシュ検索をスキップし、固定アドレスへの直接アクセスに最適化することがある。
つまり、型を厳格にするほど、実行速度も向上する。これがHackを選択する最大の合理的な理由だ。
—
結論：コードレビューで意識すべきこと
今後、君たちがコードレビューを行う際、以下の観点で指摘を行ってほしい。
1. `dict
2. `array` の多次元構造を放置していないか： ネストされたShape型で可視化できるはずだ。
3. 境界線を意識しているか： 外部入力と内部ロジックの間で、確実に型を強制しているか？
連想配列の「キー忘れ」はヒューマンエラーではない。設計者が構造化を怠ったことによる構造的な欠陥だ。
Hackの型システムは、君たちがコードという芸術を完成させるための「最も鋭利なペン」である。そのペンを使いこなし、堅牢で、かつ美しいシステムを構築してくれ。
以上。コードを書け。型を信じろ。