こんにちは！大規模なHHVM（HipHop Virtual Machine）環境や、Hackの厳格な型システムと日々格闘している先輩エンジニアです。
他の言語からHackの世界に飛び込んで、「あれ、PHPっぽく書けるのに、なぜか型チェッカー（hh_client）にめちゃくちゃ怒られる……」なんて戸惑っていませんか？特に、レガシーなコードベースを徐々にモダンにしていく現場では、Partial Mode（部分型付け）とStrict Mode（厳格型付け）が混在するカオスな環境に直面しがちです。
今回は、そんな地獄のような移行期を華麗に生き抜き、型安全性を完全に担保するための実践的な戦略を、優しく、かつ骨太にお伝えしていきますね。ここをクリアすれば、あなたも立派なHackマスターです！
—
1. なぜPartialとStrictが混在すると危険なのか？
Hackの最大の見どころは、超高速なJITコンパイルを支えるHHVMのアーキテクチャと、妥協のない静的型チェッカーにあります。
コードの先頭に `Partial Mode は、型が曖昧な箇所（dynamicなど）を許容するため、移行期には非常に便利です。しかし、これがStrict Modeのコードと境界を接した瞬間、静的解析の「安全な壁」に穴が空くことになります。
[Strict Modeの世界] —–(型安全の境界)—–> [Partial Modeの世界]
(完璧な型チェック) (dynamicの闇・型のすり抜け)
境界を越えてPartialなデータがStrictな世界に入り込むとき、型チェッカーはそれが安全であると「信じる」しかなくなります。ここを正しく管理しないと、実行時エラーの爆弾を抱えることになってしまうんです。
—
2. 移行期のロードマップ：3つのステップで安全地帯を目指す
大規模コードベースを一気に `ステップA：境界線の明確化（API境界の型定義）
まず、外部入力やレガシーなPartialファイルと通信する境界（Boundary）を特定し、そこに厳格なインターフェース（ShapeやInterfaces）を定義します。
ステップB：`io.enforce_well_formed_signature` の活用
関数やメソッドのシグネチャ（引数と戻り値）だけでもStrictに近い厳格さを強制することで、データの入り口と出口を塞ぎます。
ステップC：徐々なファイルのStrict化 (`// strict` の貼付)
依存関係の末端（依存されている数が少ない葉のモジュール）から順に、ファイルの先頭を `3. 実践コードで学ぶ：混在環境における型安全の担保
では、具体的にどうコードを書くべきか見てみましょう。下の例は、Partial Modeのレガシーなデータプロバイダから受け取った曖昧なデータを、Strict Mode側で安全にハンドリングするパターンです。
レガシー側（Partial Mode）
{
return dax[‘id’ => 123, ‘name’ => ‘Hack Developer’];
}
}
移行先・モダン側（Strict Mode）
int,
‘name’ => string,
);
class UserManager {
public static function processUser(): void {
// レガシーなデータを取得
$raw = \Legacy\DataProvider::fetchRawData();
// 2. Strictな世界へ持ち込む前に、必ず型と構造を検証（Refinement）する
$validatedUser = self::validateAndCast($raw);
// ここから先は完全に型安全！
echo “Welcome, ” . $validatedUser[‘name’];
}
private static function validateAndCast(mixed $input): TUserShape {
// 簡易的な検証ロジック（実際にはより堅牢なバリデーションライブラリを使用します）
if (is_array($input) && C\contains_key($input, ‘id’) && C\contains_key($input, ‘name’)) {
$id = $input[‘id’];
$name = $input[‘name’];
if (is_int($id) && is_string($name)) {
// ここで明確にShapeの形にキャストして返す
return shape(‘id’ => $id, ‘name’ => $name);
}
}
throw new \InvalidArgumentException(“Invalid data structure at the boundary!”);
}
}
—
4. 陥りがちな文法エラーとアンチパターン
移行期によくやってしまうミスをいくつかご紹介します。これらを避けるだけで、hh_clientからの赤字エラー（型エラー）を劇的に減らせますよ。
1. `mixed` や `dynamic` の安易な伝搬
「めんどくさいから一旦 `mixed` にしておこう」と逃げると、Strict Modeのメリットがすべて消え去ります。`mixed` を使った場合は、必ず上記のコードのようにガード節（Type Refinement）を挟んで、具体的な型に絞り込んでから使うようにしてください。
2. コレクション型の混同 (`array` vs `vec`/`dict`/`keyset`)
PHPからの移行組が一番ハマるのがこれです。Hackでは、従来の曖昧なPHP配列 (`array`) ではなく、厳格に最適化したコレクション (`vec`, `dict`, `keyset`) を使います。Partialなコードから返ってきた `array` を、Strictなコードでいきなり `dict
—
まとめ：一歩ずつ、確実に型安全の砦を築こう
HackのStrict Modeへの移行は、一朝一夕にはいきません。しかし、今回紹介したように「境界線での厳格なバリデーション」と「依存関係の末端からのボトムアップな移行」を意識すれば、HHVMの爆速なパフォーマンスの恩恵を受けながら、堅牢なシステムを作り上げることができます。
焦る必要はありません。コードベースという広大な荒野を、一歩一歩確実に型安全で固めていきましょう。
ここをクリアできれば、あなたのHackスキルはもう初級者の域を脱しています。自信を持って、モダンなHack開発を楽しんでくださいね！