Hack言語の進化を解く：`darray`/`varray`から`dict`/`vec`への移行がもたらした「型安全性の神髄」
やあ。Hackの深淵へようこそ。
日々コードを書いていると、「なぜ今さら`dict`や`vec`を使うのか？昔の`darray`や`varray`じゃダメなのか？」という疑問にぶつかることがあるよね。
実はこれ、単なる「書き方の流行り」じゃないんだ。Hackという言語が、「PHPの動的な曖昧さ」を切り捨て、「厳格な計算機科学的証明」へと舵を切った歴史そのものなんだよ。今日は、この進化の本質を噛み砕いて解説しよう。
—
1. なぜ「古いコレクション」は危険だったのか？
PHP時代からの遺産である連想配列（`array`）は、なんでも入る魔法の箱だった。しかし、その「なんでも入る」は、型チェッカーにとっては悪夢だ。
`darray`や`varray`が登場したとき、私たちは「一歩前進した」と感じた。これらは`array`よりも構造を制限できるものだったけれど、まだ限界があったんだ。
- `varray`: インデックスが連続した数値であることしか保証できない。
- `darray`: キーと値のペアだが、型システムがその中身の「厳密な一致」を追跡しきれない場面が多かった。
これらは、いわば「緩い枠組み」でしかなかったんだ。
—
2. `dict`と`vec`：型システムが「構造」を掌握する
`dict`と`vec`への移行は、単なるリネームじゃない。「型チェッカーが、メモリ上のデータ構造を完全に静的に追跡できるようになった」という革命なんだ。
`vec`（ベクター）の力
`vec`は、順序付けられた要素の集合だ。PHPの`array`と違って、ハッシュマップとして無駄なメモリを消費することなく、連続したメモリ空間を効率的に扱うように設計されている。
// vecの定義：型安全が担保されている
function get_user_ids(): vec
// 整数しか許さない。文字列を混ぜようとすれば型エラーで即座に弾かれる
return vec[101, 102, 103];
}
`dict`（辞書）の力
`dict`は、キーと値の型を明示的に固定する。
// dictの定義：キー(string)と値(int)の厳格な関係
function get_scores(): dict
return dict[
“math” => 90,
“english” => 85,
];
}
—
3. 初学者が陥る「型エラー」の罠
現場でよくあるのが、この移行に伴う「型不一致」だ。特に初心者がやりがちなミスを見てみよう。
よくあるミス：型推論の不一致
// 悪い例：vecの中に異なる型を入れようとする
function bad_example(): vec
// コンパイラが「intとstringは違うよね？」と厳しく指摘する
return vec[1, “2”];
}
ここがポイント：
Hackの型チェッカーは「実行してエラーが出るまで待つ」という甘えを許さない。コードを書いた瞬間に、そのデータ構造が「本当にその型か？」を検証する。これがStrict Modeの真骨頂だ。
—
4. なぜ今、`dict`と`vec`を使うべきなのか？
君が書くコードが、HHVM（HipHop Virtual Machine）上でどう動くかを想像してみてほしい。
1. メモリ効率: `dict`や`vec`は、PHPの`array`のように「ハッシュテーブルとして全要素を管理する」といった無駄を省けるよう最適化されている。
2. 型推論の高速化: 型チェッカーが構造を完全に理解しているため、IDEや静的解析ツールが驚くほど正確に補完やエラー検出をしてくれる。
3. 不変性（Immutability）への道: これらは将来的に、より堅牢なデータ構造へと進化するための布石なんだ。
—
まとめ：Hackを掌握するということ
`darray`や`varray`を捨て、`dict`や`vec`を採用する。それは、「型チェッカーを敵ではなく、最強の味方にする」という決断だ。
- `vec`: 順序あるデータの純粋なリスト。
- `dict`: 型付けされたキーと値の厳格なマップ。
この2つを使いこなせるようになれば、君が書くコードの安全性は飛躍的に向上するはずだよ。
もしエラーが出ても怖がる必要はない。それは型チェッカーが、君のコードの「論理的な矛盾」を未然に防いでくれている証拠なんだから。さあ、次は君のコードで、この厳格さを体感してみてくれ。
ここをクリアすれば、Hackの基礎はもうバッチリだ。自信を持って突き進んでいこう！