Hack言語の深淵へようこそ。私はHHVMの心臓部で型システムの整合性を守り続けているチーフアーキテクトです。
PHPの「自由奔放さ」から離れ、Hackの厳格な静的型付け（Strict Mode）の世界に足を踏み入れたあなたを歓迎します。今日は、Hackを使いこなすための最大の関門であり、最強の武器でもある「Function Types（関数型）」についてお話ししましょう。
なぜこれほどまでに型制約が厳しいのか？それは、あなたが書くコードがHHVMのJITコンパイラによってネイティブコードに変換される際、型が確定していることで「実行時の型チェックを一切排除した爆速の実行」を実現するためです。
—
1. 関数型（Function Types）の基礎：型としての関数
Hackにおいて、関数は単なる「処理の塊」ではなく、「引数と戻り値の型という契約」を持つ値です。
例えば、「整数を受け取り、文字列を返す関数」を引数として受け取る高階関数を考えてみましょう。
<<__EntryPoint>>
function main(): void {
// 関数型の定義: (int) -> string
// 第一引数はint、戻り値はstringであることを示します
$formatter = (int $n): string ==> “ID: ” . (string)$n;
echo processId(101, $formatter);
}
// 高階関数: 第一引数に「関数型」を受け取る
function processId(int $id, (function(int): string) $callback): string {
// ここで $callback を呼び出します。型安全性が保証されているため、
// 実行時エラーの心配はありません。
return $callback($id);
}
なぜこれが必要なのか？
もし型定義がなかったら、$callbackが本当に呼び出し可能なのか、引数は合っているのかをHHVMが判断できません。関数型として定義することで、「コンパイル時に、呼び出し元と呼び出し先の整合性を完璧に証明」できるのです。
—
2. 型チェッカーが裏側で行っている「整合性チェック」
Hackの型チェッカーは、関数型を比較する際に「共変性（Covariance）」と「反変性（Contravariance）」という堅牢なルールを適用します。これが理解できると、もうあなたは初心者ではありません。
- 引数は「反変」: 受け取る型は、より緩くても良い（親クラスやインターフェースを許容する）。
- 戻り値は「共変」: 返す型は、より厳しくても良い（子クラスを返しても良い）。
図解するとこうなります。
関数型: (A) -> B
[引数: A] は「反変」 (より広い範囲を受け取れる)
[戻り値: B] は「共変」 (より限定的な結果を返せる)
このルールに従わない型定義を書こうとすると、Hackの型チェッカーは容赦なく赤線を引きます。「君の渡そうとしている関数は、契約に違反しているよ」と教えてくれるわけです。
—
3. 陥りやすい罠：匿名関数と型推論
よくあるミスの一つに、匿名関数（クロージャ）を定義する際の型指定漏れがあります。
// 悪い例: 型が明示されていないため、推論に頼ることになる
$filter = ($x) ==> $x > 0;
Strict Modeでは、可能な限り明示的な型定義を推奨します。HHVMは型が明示されているコードを最も効率的に処理します。
// 良い例: 型を明示する
$filter = (int $x): bool ==> $x > 0;
特に、戻り値の型を書き忘れると、複雑なロジックの中で「期待した型と違う」というエラーに遭遇しやすくなります。 「自分は今、何を入力して、何を返すのか」をコード上に刻み込むことが、Hackでバグをゼロにする秘訣です。
—
4. 現場で役立つ実践的テクニック：Type Aliasing
関数型が長くなると、コードが読みづらくなりますよね。そんな時は `type` キーワードを使ってエイリアスを作成しましょう。
// 可読性を高めるための型エイリアス
type Logger = (function(string): void);
function executeTask(string $taskName, Logger $logger): void {
$logger(“Starting: ” . $taskName);
// … 処理 …
$logger(“Finished: ” . $taskName);
}
こうすることで、関数シグネチャがスッキリし、意図が明確になります。大規模なプロジェクトになればなるほど、この「型の名前付け」がメンテナンス性を左右します。
—
最後に：Hackを使いこなすということ
Hackの型システムは、あなたを縛るための鎖ではなく、「開発という荒野を安全に駆け抜けるための防具」です。
Function Typesを正しく定義し、コンパイラと対話できるようになれば、HHVMはその努力に「爆速なパフォーマンス」と「揺るぎない安定性」という最高の形で応えてくれます。
ここをクリアしたあなたは、もうHackの基本をマスターしたも同然です。さあ、次はさらに深いHHVMのメモリ管理や、複雑なGenericsの世界へ足を踏み入れてみましょう。あなたのコードが、世界中のトラフィックを支える日を楽しみにしています。