Hackの深淵へようこそ。私はHHVMの心臓部で型チェッカーの咆哮を聞き続けてきた者です。
多くの開発者がPHPからHackへ移行する際、最初に直面し、そして最も深く絶望するのが「`callable`という名の魔物」です。PHPの`callable`は、型システムという名の「防波堤」をいとも簡単にすり抜ける、ただの文字列や配列の寄せ集めに過ぎません。
今日は、その「あやふやな関数」を、Hackの厳格な型システムによって「確実な設計」へと昇華させる話をしましょう。ここをクリアすれば、君はもうPHPの地獄から脱出するチケットを手に入れたも同然です。
—
1. なぜ `callable` が「地獄」なのか
PHPでよく見るこのコードを思い出してください。
// PHPの危険な例
function processData(callable $callback) {
// この$callbackが何を受け取り、何を返すのか、誰も教えてくれない
return $callback(‘data’);
}
このコードを見たとき、君は即座に確信を持てますか？
- その関数は引数を一つ取るのか？
- 戻り値は何なのか？
- もし間違った型の値を渡したら、実行時に例外が飛ぶのではないか？
`callable`は単なる「呼び出せる何か」であり、その中身については神のみぞ知る世界です。大規模開発において「神のみぞ知る」は、バグの温床でしかありません。
—
2. Hackが提示する解決策：関数型シグネチャ
Hackでは、`callable`の代わりに関数型（Function Types）を明示的に指定します。これにより、型チェッカー（HHVMの最強の武器）がコンパイル時にすべてを検証してくれます。
基本的な書き方
「文字列を受け取り、整数を返す関数」を引数にしたい場合、こう書きます。
namespace MyProject;
// 型エイリアスを使ってシグネチャを定義する
type StringToIntProcessor = (function(string): int);
function processData(StringToIntProcessor $callback): int {
// 確実に string を渡せるし、返り値は int だと約束されている
return $callback(’42’);
}
// 使う側
function run(): void {
$myFunc = (string $s): int => (int)$s;
// 型が合致しているので安全
processData($myFunc);
}
なぜこれが「安全」なのか
もし君が、引数に `(function(int): int)` を要求する関数に、誤って `(function(string): int)` を渡そうとしたらどうなるか。HHVMの型チェッカーは容赦なく停止します。実行を待つ必要はありません。コードを書いた瞬間にミスが露呈するのです。これがHackの力です。
—
3. クロージャで「状態」を閉じ込める
関数型インターフェースの真価は、クロージャとの組み合わせで発揮されます。PHPでもクロージャは使えますが、Hackではその型を正確に保持できるため、変数の受け渡しが極めて安全になります。
function createMultiplier(int $factor): (function(int): int) {
// $factor をクロージャの中に閉じ込める（キャプチャする）
return (int $x): int ==> $x $factor;
}
$double = createMultiplier(2);
echo $double(10); // 20
ここで重要なのは、`==>` というラムダ記法の記号です。Hackのクロージャは、外部変数のキャプチャが非常に明示的で、型推論エンジンがそのスコープ内の変数を完璧に追跡します。
—
4. 初学者が陥りやすい「罠」
Hackの学習を始めたばかりの人が必ず一度は踏む地雷がこれです。
「オプショナルな引数や戻り値の型付け」
もし「引数が存在しない可能性がある」場合は、型を `?` でラップします。
// 「intを受け取り、文字列かNULLを返す」関数型
type MaybeString = (function(int): ?string);
ここでの最大のミスは、`?` を付け忘れて `(function(int): string)` と定義しつつ、実装側で `null` を返してしまうことです。型チェッカーは「期待された型と違う」と警告を出すでしょう。「型チェッカーの警告は、君を攻撃しているのではなく、将来の君を救おうとしている」と思ってください。
—
結論：PHPからHackへのマインドセット転換
PHPのコールバック地獄から抜け出す鍵は、以下の3ステップです。
1. `callable` を禁止用語にする：コードレビューで`callable`を見つけたら、即座に具体的な関数型に書き直すよう指摘してください。
2. 型エイリアスを活用する：`type MyCallback = (function(string): void);` のように名前を付けることで、コードの意図がドキュメント以上に明確になります。
3. 型推論に甘える：すべてを手動で書く必要はありません。Hackの型推論は強力です。まずは型エイリアスを定義し、HHVMの型チェッカーを「壁」として活用してください。
ここをクリアした君は、単なる「スクリプトを書く人」から、堅牢なシステムを構築する「アーキテクト」への第一歩を踏み出しました。
Hackの世界は厳格ですが、その分、君の書くコードには「裏切らない安定感」が宿ります。さあ、次はどんな複雑なロジックを、この美しい型システムで解き明かしましょうか？