こんにちは！Hack言語の世界へようこそ。
世界最高峰のHHVMアーキテクチャや型システムの深淵を覗くのも素晴らしいですが、まずは日々の開発で誰もが直面する現実の壁——「レガシーコードのStrict化」についてお話ししましょう。
他の言語、例えばPHPやJavaScriptからHackの世界に入ったとき、最初に戸惑うのは「なぜこんなに型に厳格なんだろう？」ということですよね。特に、型推論が効かずにうっかり忍び込んでしまう魔の型、それが`mixed`や暗黙の`Any`的な挙動です。
今回は、レガシーなコードベースを完全なるStrict Modeへと引き上げ、Hackの真骨頂である超高速な実行速度と堅牢性を手に入れるためのリファクタリング術を、一緒に紐解いていきましょう。ここをクリアすれば、Hackの基本はバッチリマスターできますよ！
—
1. なぜHackの「Strict Mode」と「Anyの排除」が重要なのか？
Hack言語のファイルは、先頭に ``<<__STRICT__>>` 宣言を行ったときです。
HHVM（HipHop Virtual Machine）は、Strict Modeのコードに対して極限まで最適化されたJIT（Just-In-Time）コンパイルを行います。もしコードの中に「型が曖昧な箇所（推論不能な部分）」が残っていると、HHVMは安全のためのガードを挿入せざるを得ず、パフォーマンスのポテンシャルをドブに捨てることになってしまいます。
陥りがちな罠：型推論の放棄
例えば、次のようなコードを見たことはありませんか？
<<__STRICT__>>
namespace Hack\Example;
// 良くない例：引数も戻り値も型が曖昧
function process_data($data) {
return $data->value;
}
この `$data` は何でしょうか？ Hackの型チェッカー（hh_client）は、これが何のオブジェクトで、本当に `value` というプロパティを持っているのか判断できません。結果として、コンパイルエラーになるか、あるいは安全性を犠牲にした動的な解決が行われてしまいます。
—
2. レガシーコードをStrict化する 3つのステップ
巨大なコードベースを一晩でStrict Modeにするのは不可能です。現実的な現場では、段階的に型を厳格化していくアプローチを取ります。
ステップ1: `partial` から `strict` への移行境界を見つける
Hackでは、ファイル単位でモードを制御できます。まずはファイルの先頭を次のように書き換えましょう。
// 変更前（Partial Mode：暗黙の型混入を許容）
>
namespace Hack\Example;
これを行うと、`hh_client` が一斉に怒り出します。「ここに型がない！」「戻り値が不明だ！」と。このエラーの山こそが、私たちのリファクタリングのロードマップになります。
ステップ2: `mixed` を具象型（Concrete Type）やジェネリクスへ置き換える
型が分からないからといって、安易に `mixed` を使うのは避けてください。`mixed` は「何でも入る箱」ですが、箱から取り出すときに必ず型アサーションや型ガードが必要になります。
駄目な例：`mixed` の乱用
<<__STRICT__>>
namespace Hack\Example;
function print_length(mixed $input): void {
// 毎回型チェックが必要になり、コードが汚染される
if ($input is string) {
echo Str\length($input);
}
}
正しいアプローチ：具体的な型、または Generics（総称型）の活用
<<__STRICT__>>
namespace Hack\Example;
use namespace HH\Lib\Str;
// 文字列であることが確実なら、最初から string 型を指定する
function print_length(string $input): void {
echo Str\length($input);
}
もし「何が来るか分からないが、特定のインターフェースを満たしているべき」という場合は、Generics や Interfaces を使って型安全性を担保します。
—
3. 実践：型推論が効かない難所をこう突破せよ！
開発現場でよく遭遇する「型推論が効かないパターン」と、その具体的な解決策を見ていきましょう。
パターンA: 配列やコレクションの型定義漏れ
レガシーなPHP配列（`array`）は、HackのStrict Modeではご法度です。代わりに `vec`, `dict`, `keyset` といった正確なコレクション型を使用します。
<<__STRICT__>>
namespace Hack\Example;
// 修正前：型が不明な配列
// function get_names(): array { … }
// 修正後：stringの要素を持つベクターであることを明示
function get_names(): vec
return vec[“Alice”, “Bob”, “Charlie”];
}
パターンB: 外部APIやデータベースからのレスポンス
外部から返ってくるJSONなどは、最初は型がありません。ここで `Any` や `mixed` で受け取りたくなる気持ちをグッとこらえ、「境界での型バリデーション（Shapeの活用）」を行います。
<<__STRICT__>>
namespace Hack\Example;
// データの構造を厳密に定義する Shape
type UserShape = shape(
‘id’ => int,
‘name’ => string,
);
function parse_user_response(dict
// 境界でしっかりと型を検証し、安全なShapeにマッピングする
$id = $raw_data[‘id’] ?? null;
$name = $raw_data[‘name’] ?? null;
if (is_int($id) && is_string($name)) {
return shape(‘id’ => $id, ‘name’ => $name);
}
return null; // 不正なデータは弾く
}
このように、システムの「境界（Boundary）」でしっかりと型を確定させてしまえば、その内側のビジネスロジックは完全な Strict Mode の恩恵を受けることができます。
—
まとめ：型チェッカーはあなたの最高の相棒
レガシーコードのStrict化は、最初は少し面倒に感じるかもしれません。「動いていたコードなのに、なぜエラーが出るんだ！」と思うこともあるでしょう。
しかし、思い出してください。Hackの型チェッカー（`hh_client`）が教えてくれるエラーは、あなたを縛る鎖ではなく、「未来のバグやパフォーマンス低下からあなたを守るためのシグナル」です。
一つずつ `mixed` を排除し、すべての変数や関数に美しい型が灯ったとき、HHVMの上で疾走する圧倒的なスピードと、ビクともしないコードの堅牢性に感動するはずです。
焦らず、一歩ずつ進めていきましょう。あなたのHackライフが素晴らしいものになるよう、応援しています！