やあ。Hack言語の深淵へようこそ。
大規模なコードベースを管理する現場で、レガシーなPHPの残り香（Partial Mode）と、Hackの厳格な未来（Strict Mode）が衝突する境界線。そこはまさに、型安全という名の城壁を築くための最前線だ。
今日は、その「混沌と秩序」をいかに調和させるか、その極意を伝授しよう。
—
1. なぜ「Strict Mode」が絶対的な正義なのか
まず、Hackの魂を理解しよう。Hackの `strict` モードは、単なるエラーチェックではない。それは、「HHVMのJITコンパイラに対して、コードの挙動を数学的に保証する」という宣言だ。
Partial Modeが「型がついている箇所だけチェックする」という妥協の産物であるのに対し、Strict Modeは「すべての型が定義されていなければ、そもそもコンパイルを許さない」という、極めて高い規律を課す。これがなぜ重要か？ それは、実行時（Runtime）のエラーを、開発時（Compile-time）に根絶できるからだよ。
2. PartialとStrictが混在する「境界線」の罠
大規模開発では、すべてのファイルを一瞬でStrict化するのは不可能だよね。ここで多くの開発者が陥るのが、「境界線での型汚染」だ。
例えば、StrictなコードからPartialなコードを呼び出すとき、型チェッカーは「そこから何が返ってくるか分からない」という恐怖を抱える。
悪い例：境界線での「甘え」
// Strictモードのファイル
<<__EntryPoint>>
function main(): void {
// Partialなファイルにある関数を呼ぶ
$result = LegacyModule\fetchData();
// 型チェッカーは $result が何なのか確信を持てない
// ここで mixed 型が混入すると、Strictの恩恵が台無しになる
echo (string)$result;
}
この `$result` が `mixed` 型として扱われると、君のコードの型安全性はそこから崩壊し始める。これが「負債」だ。
3. 負債を最小化する戦略：型アサーションとガードの活用
では、どうすればいいか。答えは簡単。「境界線に防波堤を作る」ことだ。
防波堤の作り方（Type Refinement）
Partialなコードから返ってきた値を、境界線で即座に「確実な型」に変換するんだ。
namespace App\Boundary;
// PartialとStrictの境界
function getSafeData(): string {
$data = \LegacyModule\fetchData(); // ここはPartial
// 型ガード（Type Guard）で叩き直す
if ($data is string) {
return $data;
}
// 型が不明な場合は、ここで例外を投げて早期終了させる
throw new \Exception(“境界線で型崩れを検知しました”);
}
この「防波堤」を通すことで、Strict側のコードには常に正しい型が流れるようになる。これで、Partial側の負債がStrict側に波及するのを防げるんだ。
4. 陥りやすいエラー：`mixed` 型との付き合い方
初心者が一番頭を抱えるのが、型チェッカーからの `Expected string, got mixed` というエラーだろう。これは「君は型をサボっているよ」というコンパイラからの愛のムチだ。
解決のステップ
1. `mixed` を撲滅する: 可能なら、その変数の型を明示的に指定する。
2. `is` 演算子を使う: `if ($var is int)` のように、実行時に型を確認し、型チェッカーに「このスコープ内ではこいつはintだ」と教えてあげる。
3. `nonnull` を活用する: Nullチェックを曖昧にせず、`?string` なのか `string` なのかを厳格に区別する。
5. 賢い移行のロードマップ
一気にすべてをStrictにする必要はない。以下のステップで進めるのが、我々アーキテクトが推奨する「安全なリファクタリング」だ。
1. 末端のユーティリティ関数からStrict化: 依存関係の少ない関数から一つずつ `<<__Strict>>` をつけていく。
2. 境界線の明確化: 外部ライブラリやレガシーな関数を呼び出す場所には、必ず「ラッパー」を作り、そこで型ガードを適用する。
3. `HACKC_FLAGS` の調整: 段階的に警告レベルを上げ、チーム全体で「型なしコードは悪」という意識を共有する。
—
最後に：型は「制約」ではなく「武器」
君たちが書く型定義は、ただの制約ではない。それは、君たちのコードがどのような入力に対してもどう振る舞うべきか、という「設計図」そのものなんだ。
Strict Modeへの移行は、最初は面倒に感じるかもしれない。しかし、その先に待っているのは、どれだけコードベースが肥大化しても崩れない、圧倒的な堅牢性だ。
「型安全」という武器を手に、Hackの荒野を駆け抜けていこう。何か詰まったら、いつでも戻っておいで。君のコードが正しくコンパイルされることを、いつも願っているよ。