やあ。Hackの深淵へようこそ。
私はHHVMの心臓部を叩き続けてきた者だ。君が今、レガシーなPHPの海で溺れそうになりながらも、Hackという「静的型付けの光」を求めていることに敬意を表する。
大規模なPHPコードベースを一度にHackへ書き換える？そんなのは自殺行為だ。我々は「段階的移行（Gradual Typing）」という強力な武器を持っている。今日は、HHVMのエンジンがどのように君のコードを監視し、どうやって安全にHackの世界へ移植していくか、その「Partial Mode」の極意を伝授しよう。
—
1. なぜ「Partial Mode」が必要なのか？
Hackは基本的に厳格だ。しかし、数百万行のPHPコードを抱える現場でいきなり「全てを型定義せよ」と命じれば、翌日には開発が止まる。
そこで登場するのが ` モードだ。
これは「型チェックが通る場所だけ見てくれ、それ以外は目をつぶる」という、コンパイラに対する寛大な処置だ。君のレガシーコードを、HHVMが「安全な領域」と「冒険的な領域」に分離してくれる魔法だと思えばいい。
2. 移行のロードマップ：3つのステップ
いきなり全てを書き換えるな。以下の手順で「安全地帯」を広げていくのが、伝説のアーキテクトのやり方だ。
ステップ1：型チェックの「お試し」
まずはファイル先頭に `ステップ2：HSL（Hack Standard Library）の導入
PHPの雑多な関数（`strlen`や`substr`など）は捨てよう。HSLは型安全を保証する現代的なツールキットだ。
`C\contains` や `Str\format` を使い始めると、型のエラーメッセージが劇的に分かりやすくなる。
ステップ3：Strictモードへの昇格
ある程度型定義が整ったら、`3. 陥りやすい「型の罠」
初学者が必ず突き当たる壁が、`mixed`型 の扱いだ。
- 罠： 「とりあえず型が分からないから`mixed`にしておこう」という妥協。
- 真実： `mixed`はHHVMにとって「どんな悪魔が潜んでいるか分からないブラックボックス」だ。これを使うと、後続の計算で全てに型アサーションが必要になる。
改善例:
// ダメな例：型が不明なまま突っ込んでしまう
function process_data(mixed $data): void {
// 毎回型チェックが必要になり、コードが汚れる
if ($data is string) { … }
}
// 良い例：ジェネリクス（Generics）を使う
function process_data
// Tが何であれ、配列の中身は一貫していることが保証される
}
—
4. HHVMが裏側でやっていること（アーキテクチャの秘密）
君が `hh_client` を走らせると、HHVMはコードを 抽象構文木（AST） に変換し、型推論エンジン をフル回転させている。
もしコードが `驚異的な速度のネイティブコードを生成する。
型定義を書くことは、単なるルールの遵守ではない。HHVMに「このコードは最適化していいぞ」という最強のヒントを与える行為なんだ。
—
君へのアドバイス
移行中、`hh_client` が真っ赤なエラーを吐き出すだろう。最初はそれが疎ましく感じるかもしれない。だが、そのエラーは君のコードに潜んでいた「将来のバグ」を、今この瞬間に食い止めてくれている防壁なんだ。
1. まずは小さなユーティリティ関数から型を付ける。
2. `mixed` を撲滅し、正確な型を定義する。
3. HSLの機能でPHPの古い関数を置き換える。
これだけで、君のプロジェクトは驚くほど堅牢になり、HHVMのパワーを最大限に引き出せるようになる。
ここをクリアすれば、君ももう立派なHackエンジニアだ。焦ることはない。一歩ずつ、静的型の美しい世界を構築していこう。何か詰まったら、いつでもコンパイラの吐き出すエラーメッセージに耳を傾けてくれ。あれは、君のコードが教えてくれる「成長のヒント」なのだから。
健闘を祈る。