こんにちは！フルスタックエンジニアの先輩です。今日は、Hack言語における「厳格な静的型付け（Strict Mode）」の真髄、そして高階関数を安全に設計するためのFunction Types（関数型）の世界へあなたを案内しますね。
他の言語、例えばJavaScriptやPHPからHackの世界に飛び込むと、最初は「型チェッカーが厳しすぎる！」と感じるかもしれません。でも、ここをクリアすれば、HHVM（HipHop Virtual Machine）の圧倒的なパフォーマンスと、バグの生まれない強固なコードベースを手に入れることができます。
今回は、コールバック関数やクロージャを扱うときの「型の検証メカニズム」を、一緒に優しく、かつ深く紐解いていきましょう。ここをマスターすれば、Hackの基本はバッチリです！
—
1. Hackの型チェッカーと「Function Types」の基本
Hackでは、すべてのファイルで `関数やメソッドの引数・戻り値すべてに型注釈（Type Hint）が必須になります。
では、関数自体を別の関数に渡す「高階関数（Higher-Order Function）」を作る場合、その引数の「関数の形（シグネチャ）」はどう表現すればよいのでしょうか？
ここで登場するのが Function Types です。
図解：Function Typeのイメージ
[ 呼び出し元 ]
│
├─► 引数として「特定のシグネチャを持つ関数」を渡す
│ 例: (int, int) -> string
│ 意味：「2つのintを受け取り、stringを返す関数でなければならない」
│
▼
[ 高階関数 (処理の本体) ]
Hackでは、`(引数の型リスト) -> 戻り値の型` という構文で、関数そのものの型を定義できます。
—
2. 実践！安全な高階関数の設計コード
百聞は一見に如かず。実際にコードを見てみましょう。ここでは、数値を変換してフォーマットするロジックを、高階関数を使って安全に組み立ててみます。
/
function process_user_data(
int $id,
string $name,
(function(int, string): string) $formatter,
): string {
// 処理の本体…
return $formatter($id, $name);
}
<<__EntryPoint>>
function main(): void {
// 正しいシグネチャを持つクロージャ（無名関数）
$standard_formatter = (int $id, string $name): string ==> {
return “ID: {$id}, Name: {$name}”;
};
// 高階関数に安全に渡す
$result = process_user_data(42, “Alice”, $standard_formatter);
// 実行結果の出力（HHVM上で高速に実行されます）
\C\print_r($result . “\n”);
}
コードのポイント解説
- `(function(int, string): string)` が、まさにFunction Typeの定義です。
- この構文により、`process_user_data` 関数は「どんな関数でも受け入れる」のではなく、「指定された通りの引数と戻り値を持つ関数だけ」を受け入れるようになります。
- アロー関数構文 `==> `（Hackのクロージャ記法）を使って、簡潔にコールバックを定義しています。
—
3. 陥りやすい文法エラーと型チェッカーの優しさ
型システムを学び始めの頃によくやってしまうミスと、Hackの型チェッカーがどう反応するかを見ておきましょう。
陥りやすいエラー：引数の型や数の不一致
もし、先ほどの `process_user_data` に、引数の数が違う関数を渡そうとするとどうなるでしょうか？
// 【NGな例】
$bad_formatter = (int $id): string ==> {
return “ID: {$id}”; // string $name が足りない！
};
// 型チェッカーが即座にエラーを吐きます
// Error: Invalid argument: expected (function(int, string): string), got (function(int): string)
$result = process_user_data(42, “Alice”, $bad_formatter);
先輩からのアドバイス：エラーは「最高の味方」
他の動的言語だと、「実際にそのコードが実行されて初めて `ArgumentCountError` や `TypeError` が起きて気づく」ということがよくありますよね。
しかし、Hackの静的型チェッカーは、コードを書いている最中に「おいおい、渡そうとしている関数の形が違うぞ！」と教えてくれます。本番環境で予期せぬクラッシュが起きるのを未然に防いでくれる、最高の相棒なんです。
—
まとめ
今回は、Hack言語の厳格な世界における Function Types（関数型） の基礎と、高階関数の安全な設計方法について解説しました。
- Strictモードでは、関数のシグネチャ（引数と戻り値）を完全に型定義する。
- 関数を引数として受け取る高階関数では、`(function(ArgType): ReturnType)` という構文で関数の形を厳しく制限できる。
- 型チェッカーは、開発者のミスをコンパイル時（HHVMのバイトコード生成前）に完全に検知してくれる。
ここをしっかりとクリアできれば、大規模なコードベースであっても、リファクタリングを恐れずに爆速で開発を進めることができますよ。
Hackの荒波を優雅に乗りこなすフルスタックエンジニアを目指して、一緒に一歩ずつ進んでいきましょう！質問があればいつでも聞いてくださいね。