Hackの深淵：Immutableがもたらすランタイムの静寂と最適化の極致
Hack言語の真髄は、単なるPHPの「型付きの方言」ではない。HHVMという極めて洗練された仮想マシン上で、静的解析と動的実行の境界を溶かす、型理論と実行時最適化の融合体だ。
特に `strict` モードにおける不変性（Immutability）の強制は、コードの安全性向上という甘い言葉を超え、HHVMのJITコンパイラが「何を前提として最適化を推論できるか」という、メモリ効率の核心に直結する。
本稿では、`readonly` 修飾子と不変コレクションが、単なるバグ防止策ではなく、いかにしてCPUキャッシュ効率と命令レベルの並列性を引き出すのか、その内部メカニズムを紐解く。
—
1. `readonly` プロパティ：コンパイラによるメモリアクセスの「定数化」
`readonly` プロパティは、単なる代入ガードではない。HHVMのJITエンジンにとって、これは「このオフセットのメモリ領域は、インスタンスの生存期間を通じて変化しない」という、極めて強力な保証を意味する。
内部挙動の真実
通常のプロパティであれば、HHVMはコンテキストスイッチや関数呼び出しのたびに、メモリが汚染（変更）されていないかという「ガード」を考慮せざるを得ないことがある。しかし、`readonly` が明示されれば、コンパイラは値をレジスタにキャッシュし、メモリアクセスを省略する最適化を積極的に実行できる。
<<__ConsistentConstruct>>
final class UserSession {
// readonly指定により、インスタンス生成後のメモリ書き込みを禁止
// HHVMはこれを「定数」として扱い、レジスタ割り当てを最適化する
public function __construct(
public readonly int $id,
public readonly string $token,
) {}
}
この「不変性」の保証があるからこそ、我々はスレッドセーフな並列処理や、型チェッカーによる厳密なエイリアス解析（Aliasing Analysis）が可能になるのだ。
—
2. 不変コレクションが解放する「構造的共有」の力
Hackにおける `ImmVector` や `ImmMap` などの不変コレクションは、単なる読み取り専用ビューではない。これらは、「永続データ構造（Persistent Data Structures）」として実装されている。
メモリ最適化の鍵：構造的共有（Structural Sharing）
不変コレクションを操作する際、HHVMはメモリ全体をコピーするような愚かな真似はしない。変更が必要な場合、古いデータ構造との間でノードを共有し、変更差分だけを新しいノードとして生成する。
これは、ガベージコレクション（GC）の負荷を劇的に減らす。なぜなら、不変オブジェクトは、GCの走査中に「再帰的に参照を辿って変更を追跡する」必要がないからだ。 世代別GCにおいて、古い世代から新しい世代への参照を追跡する「Write Barrier」のコストが、不変オブジェクトではほぼゼロになる。
// 不変コレクションの利用例
// 既存のリストから要素を追加した新しいリストを生成するが、
// 内部では効率的なノード共有が行われている
function updatePermissions(ImmSet
// 変更は新たなインスタンスを生成するが、内部のポインタは再利用される
return $current->add(‘admin’);
}
—
3. 型チェッカーとHHVMの共鳴
`strict` モードにおいて、`readonly` と不変コレクションを組み合わせることは、型チェッカーに「このスコープ内での副作用は絶対に発生しない」という証明を与えることに他ならない。
型チェッカーがこの静的な不変性を掌握したとき、HHVMは以下のような極限の最適化を達成する。
1. インライン化の加速: 不変であると確信できるオブジェクトのメソッドは、副作用を考慮せず、インライン展開が極めて容易になる。
2. デッドコード除去: 状態が変化しないことが保証されれば、到達不可能な分岐や、意味をなさない計算をコンパイラが自律的に排除する。
—
結論：エンジニアが目指すべき地平
我々が `readonly` を使い、不変データ構造を好む理由は、単に「バグを減らしたい」からではない。「ランタイムが全力を出せる環境を、コードの構造として提供するため」だ。
可変（Mutable）な状態は、プログラムの複雑性を指数関数的に増大させる。状態を不変に固定することは、プログラムの実行フローを線形に保ち、HHVMのエンジンがメモリの深部で何が起きているかを完全に掌握できる状況を作ることと同義である。
Hackを極めるということは、言語の構文を覚えることではない。コンパイラという「論理の怪物」と、仮想マシンという「物理の怪物」が、あなたのコードをどれほど効率的に処理できるか、そのインターフェースを設計することに他ならない。
さあ、次は `readonly` を基盤とした、より純粋な関数型アーキテクチャへの移行を検討してみるがいい。そこには、PHPの時代には到底到達できなかった、静寂で高速な実行環境が待っている。