混沌から秩序へ：HSL `vec` が引き起こす、ランタイム最適化の真実
PHPの `array` 型は、その柔軟性ゆえに「配列であり、連想配列であり、セットであり、スタックでもある」という、メモリレイアウト上の悪夢を抱えている。HHVMのJITコンパイラが `array` を最適化しようとしても、その「何でもあり」の性質が、型推論の壁を高くし、CPUの予測実行を阻害する。
シニアエンジニア諸君、我々が目指すべきは「PHPコードの移植」ではない。「Hackの静的型システムとHHVMのアーキテクチャが本来持つポテンシャルを解放すること」だ。
本稿では、`array_map` を `Vec` モジュールへ置き換えることが、単なる構文糖衣ではなく、いかにしてメモリ安全性と実行効率を極限まで高めるかを解説する。
—
1. `array` のコスト：Zendコンパティビリティの代償
PHPの配列は、内部的には `HashTable` 構造体である。これは非常に汎用的だが、メモリオーバーヘッドが大きく、要素の型が混在している場合、HHVMは各要素に対して常に「型チェック」という名の重税を課す。
一方、`vec
2. リファクタリング：関数型アプローチによる「型」の解放
既存の PHP コードを、HSL の `Vec` に移行する際の戦略を見てみよう。
Before: PHP `array_map` の闇
// PHP的思考: array_mapは、中身の型が不明なため、常に実行時の型チェックを伴う
function process_data(array $input): array {
return array_map(fn($item) => $item->get_id(), $input);
}
After: HSL `Vec` による型強固な変換
use namespace HH\Lib\Vec;
// Vecを使うことで、コンパイラは戻り値が vec
function process_data(vec $input): vec
// Vec\mapは、遅延評価ではなく、型安全な新しいメモリ領域を確保する
return Vec\map($input, $item ==> $item->getID());
}
この変更は単に読みやすいだけではない。`Vec\map` を使用することで、HHVM は内部的に 配列の事前確保（Pre-allocation） を行うことが可能になる。`array_map` が動的にサイズ変更を行いながら再アロケーションを繰り返す可能性があるのに対し、`Vec\map` は推論された型とサイズに基づき、一度のメモリ確保で済むケースが圧倒的に多い。
3. メモリ管理と型チェックの相乗効果
Hackの型チェッカー（HHVM Type Checker）は、`Vec` を使用することで、コードの「意図」を完全に掌握する。
- 境界チェックの削減: `vec` はインデックスアクセスにおいて、その長さが保証されている場合、HHVMは境界チェック（Bounds Check）を最適化によって省略することがある。
- イミュータビリティ（不変性）の活用: HSLの多くの操作は、元のデータを破壊せず新しい `vec` を返す。これは関数型プログラミングの鉄則だが、GC（ガベージコレクタ）の観点からも重要である。寿命が明確なオブジェクトは、スキャン対象から早期に除外されやすく、GCの停止時間を短縮させる。
4. 伝説のアーキテクトからの提言：パフォーマンスを「測る」な、「保証する」のだ
多くのエンジニアが「遅いから直す」というリアクティブな修正を行っている。だが、真のプロフェッショナルは 「型システムによって性能を静的に証明する」。
`vec` への移行は、単なるコードの現代化ではない。HHVMという仮想マシンの性質を理解し、ランタイムが最も快適に動作する「型環境」を整える作業である。
移行のチェックリスト
1. 型の峻別: `darray` (dict) と `vec` を明確に分ける。連想配列的なアクセスが必要な場所のみ `dict` を使い、それ以外はすべて `vec` に倒す。
2. 不変性の強制: `vec` を関数間で受け渡す際は、可能な限り `readonly` キーワードを活用し、メモリの再コピーを抑制する。
3. HSLの活用: `array_filter` や `array_map` を `Vec\map`, `Vec\filter` に置換する過程で、必ず `shape` や `record` を定義し、構造を可視化せよ。
結論
Hack言語の真骨頂は、PHPの柔軟性と、C++に近い厳格なメモリ・型制御の融合にある。`array` から `vec` への移行は、ランタイムに対して「このメモリは安全であり、この型は固定されている」という強力なヒントを与える行為だ。
コードは、ただ書くものではない。マシンのリソースをいかに効率的に、そして美しく使い切るかを定義する「建築図面」である。今すぐその `array` を捨て、`vec` で型を強固にせよ。そこにしか、大規模システムが到達すべき最適解はない。