【テクニカル・上級編】Strict Modeへの移行における『Partial Mode』の技術的負債：段階的移行の落とし穴 – Hack言語 コア・静的型システムとHHVMのアーキテクチャ解析バイブル

Partial Modeという名の技術的負債：Hack言語の厳格な型システムへ至る極限のロードマップ

HHVM（HipHop Virtual Machine）のコアエンジニアリング、そしてHack言語の静的型システムの設計に長年携わってきた者として、声を大にして言いたいことがある。

「段階的移行（Gradual Typing）」は、甘美な麻薬である。

大規模なPHPレガシーコードベースをHackへ移行する際、チームは決まって`1. なぜPartial Modeは「麻薬」なのか：HHVM内部の挙動から解き明かす負債の本質

Strict Mode（`動的型付けがもたらすJITの劣化

Partial Modeにおいて、型が明示されていない変数や、`mixed`、`dynamic`に依存したコードが混入すると、HHVMは次のようなコストを支払う。

1. 型ガード（Type Guards）の多発: JITコンパイラは実行時まで変数の型を断定できないため、バイトコード実行時に厳密な型チェック命令を挿入せざるを得なくなる。
2. メモリの肥大化: プリミティブ型（`int`や`float`）であっても、型が不明なコンテキストではヒープ上のボクシングされたオブジェクトとして扱われ、GC（ガベージコレクション）のプレッシャーが跳ね上がる。

コードの断片がPartialであるという事実そのものが、ランタイム全体のスループットを低下させるアンチパターンなのだ。

—

2. PartialからStrictへ：移行時に必ず踏み抜く「3つの地雷」

実際に`// partial`のコードベースをStrict Modeへと引き上げる際、シニアエンジニアであっても以下のトラップに足元をすくわれる。

地雷その1：`dynamic` の伝播と「見せかけの安全性」

Partial ModeからStrict Modeへの移行期によく見られる悪習が、型エラーを回避するために安易に `dynamic` を使うことだ。

handle($data[‘id’], $data[‘payload’]);
}

この `dynamic` を含んだ関数をStrict Modeのファイルから呼び出そうとすると、型チェッカーは警告を発する。さらに悪質なのは、これが実行時エラー（TypeError）の爆弾を未来へ先送りしているに過ぎない点だ。

地雷その2：不変性（Immutability）とコレクションの境界

Hackはコレクションの不変性（`ImmVector`, `ImmMap` など）を強く推奨するが、Partial Modeでは可変コレクション（`Vector`, `Map`）が野放しになっていることが多い。Strict Modeに移行した瞬間、メソッドシグネチャのミスマッチが連鎖的に発生する。

地雷その3：ジェネリクス（Generics）の共変・反変の破綻

Partial Modeでは型の境界が曖昧なため、ジェネリクスの型パラメータ（``）が無制限の `mixed` 扱いになっているケースが散見される。これをStrict化すると、型制約（Type Constraints: `as MyInterface` など）の不足により、コンパイルエラーの山が築かれる。

—

3. 実践：PartialからStrictへ移行する極限の手順とコードパターン

では、膨大なコードベースを安全に、かつ確実にStrict Modeへ移行するにはどうすればよいか。その実践的なリファクタリング手順をコード例とともに示す。

ステップ1: `like types`（`~` プレフィックス）を活用した段階的制約

Hackには、移行期を支える強力な武器として Like Types が存在する。完全なStrict化の前に、実行時保証と静的チェックの橋渡しを行う。

以下のコードを見てほしい。Partialから移行中の関数だ。

$options ): int {
// ここでは厳密な int として扱えるが、呼び出し元の境界で安全性が担保される
$multiplier = Shapes::idx($options, ‘multiplier’, 1);

// 厳格な型計算
return $base_score (int)$multiplier;
}

ステップ2: コレクションの厳格化とNullableの排除

曖昧な `?T`（Nullable）や `mixed` を排除し、正確な代数データ型（ADT）やShapeへ置き換える。

【移行前：Partial Modeの危ういコード】

int, ‘name’ => ?string) $user): void {
$this->save($user);
}
}

【移行後：Strict Modeによる完全な静的保証】

int,
‘name’ => string, // Nullableを排除し、デフォルト値を強制するなどの設計へ
);

final class UserProcessor {
// 完全に閉じられた型定義
public function process(UserShape $user): void {
// HHVMのJITはこの時点でオブジェクト構造を完全に最適化できる
$this->save($user);
}

private function save(UserShape $user): void {
// 永続化ロジック
}
}

このコードでは、`name` のNullable（`?string`）を廃し、より厳格な `UserShape` を定義している。HHVMのコンパイラは、このShape構造体が持つメモリオフセットをコンパイル時に確定させることができるため、プロパティアクセスのオーバーヘッドを完全にゼロに近づけることが可能になる。

—

4. チーフアーキテクトからの提言：負債を断ち切るために

Partial Modeは、あくまで「言語移行のための一時的な麻酔」に過ぎない。麻酔が切れた後に残るのは、麻痺したシステムと、増殖した技術的負債だけだ。

コードベースをStrict Modeへ完全に移行するための鉄則をまとめる。

1. 新規コードは例外なく `: CI/CDパイプラインにおいて、新しいファイルでPartial Modeの使用を静的に拒絶するLinterルールを強制せよ。
2. `hh_client` のエラー数をKPIにするな、ゼロにしろ: 「型エラーが出ていないからよし」ではなく、`hh_client` が警告すら出さない「真のStrict」の状態を維持し続けろ。
3. ランタイムの恩恵を最大化する: Strict Modeへの移行は、単なるコードの綺麗さの問題ではない。HHVMのJITコンパイラを極限まで駆動させ、CPUサイクルとメモリ消費量を劇的に削減するための、極めてロジカルなインフラストラクチャ戦略なのだ。