こんにちは！Hack言語の世界へようこそ。
他のプログラミング言語、例えばPHPやJavaScriptなどからやってくると、「Hackの型チェッカーって、なんだか厳しそうだな…」「毎回すべての変数に型を書かないといけないの？」と、ちょっと身構えてしまうかもしれませんよね。
でも、安心してください。Hackには非常に優秀な「型推論エンジン」が備わっています。これのおかげで、私たちはコードの安全性を妥協することなく、冗長な型注釈（型の書き込み）から解放されているんです。
今回は、HackのStrict Mode（厳格モード）の下で、型推論がどのように働き、なぜ型を省略しても堅牢性が保たれるのか、その仕組みを一緒に紐解いていきましょう。ここをクリアすれば、Hackの基本はバッチリマスターできますよ！
—
1. Hackの型推論（Type Inference）とは何か？
型推論とは、人間がわざわざ「この変数は整数です」と書かなくても、コンパイラ（型チェッカー）がコードの文脈から自動的に型を特定してくれる仕組みのことです。
まずは、次のコードを見てみてください。
<<__Strict>>
namespace Hack\Tutorial;
function calculate_total(int $price, int $tax_rate): int {
// 変数 $subtotal には int と int の掛け算の結果が入るため、
// 型推論エンジンは自動的に $subtotal を int 型だと判定します。
$subtotal = $price $tax_rate;
return $subtotal;
}
ここで、`$subtotal` の宣言時に `int $subtotal` と書いていないことに気づきましたか？
Hackの型チェッカーは、`$price`（int）と `$tax_rate`（int）の演算結果が必ず `int` になることを静的に知っています。そのため、開発者が型を省略しても、「ああ、ここは int 型だな」と裏側で完璧に特定してくれているのです。これが型推論の魔法です。
—
2. 厳格モード（Strict Mode）と型推論の強力なタッグ
Hackで開発をする際、ファイルの先頭には必ず `<<__Strict>>` というアノテーションを記述します。これは「このファイルでは曖昧な型を一切許容しない」という、私たちからの強い宣言です。
「厳格」と聞くと、すべての変数に型を書きまくらなければならない窮屈な世界を想像しがちですが、実は逆です。「人間がボウリングのガター防止フェンスを毎回立てる必要はなく、型推論エンジンが自動でフェンスを適切な場所に設置してくれる」のがStrict Modeの本質です。
脳内イメージ：型チェッカーの視点
型チェッカーがあなたのコードをどう見ているか、図解的にイメージしてみましょう。
[ 開発者が書いたコード ]
$name = “Hack Language”;
$version = 8;
[ Hackの型推論エンジンによる解釈 ]
$name –> 厳格に string 型として固定
$version –> 厳格に int 型として固定
[ もし後から違う型を代入しようとすると… ]
$version = “version 9”; // 💥 型エラー！ (int に string は入らない)
型推論は「適当に型を推測して、違っていたらまぁいいか」というものではありません。「一度推測して確定した型は、その後のスコープ内で絶対にブレさせない」という、極めて厳格なルールに基づいています。だからこそ、Strict Modeの安全性と、コードの簡潔さが両立できるのです。
—
3. 実際のコードで挙動を確認してみよう
もう少し実践的な例を見てみましょう。条件分岐（`if`文）がある場合の型推論の振る舞いです。
<<__Strict>>
namespace Hack\Tutorial;
function get_user_status(?string $nickname): string {
// $nickname は string かもしれないし、null かもしれない（?string）
if ($nickname === null) {
// このブロック内では、$nickname が確実に null であることが推論される
return ‘Guest’;
}
// このブロックに到達した時点で、$nickname は null ではない。
// つまり、型チェッカーは自動的に $nickname を 「string 型」へと絞り込む（Narrowing）。
// そのため、string 型専用のメソッドを安全に呼び出すことができる。
return ‘Hello, ‘ . $nickname;
}
この例で注目してほしいのは、「型の絞り込み（Type Narrowing）」という機能です。
最初は `?string`（nullを許容する文字列）だったものが、`if ($nickname === null)` というガードを通過した瞬間に、コンパイラは「ここから先は絶対に非nullの string だ」と推論し直します。
これにより、他の言語でよくある「NullPointerException（HackならNullDereference）」のような恐怖から解放されるわけです。安全性が保証されているので、安心してビジネスロジックに集中できますよね。
—
4. 初心者が陥りやすい罠：型推論エラーの代表例
型推論は非常に賢いですが、万能の魔法ではありません。初心者のうちは、次のようなケースで型チェッカーに怒られてしまうことがあります。
罠1: 空のコレクションを初期化するとき
<<__Strict>>
namespace Hack\Tutorial;
function process_items(): void {
// エラーになる可能性のある書き方
$items = Vector {};
// ↑ 型チェッカーは「中身が何かわからない Vector」の扱いに困ってしまうことがあります
}
【解決策】
型推論に頼るだけでなく、明示的な型注釈を添えてあげるとスムーズです。
<<__Strict>>
namespace Hack\Tutorial;
function process_items(): void {
// 明示的に型を教えることで、チェッカーが迷わなくなる
Vector
// もしくは要素を追加していく
$items[] = 42;
}
すべての場所で型を省略する必要はありません。「型チェッカーが自力で型を追跡できるか？」という視点を持つことが、Hackマスターへの近道です。
—
まとめ
今回は、Hackの型推論エンジンがどのように安全性を担保しているのかを解説しました。
- 型推論とは：コードの文脈からコンパイラが自動で型を特定してくれる仕組み。
- Strict Modeとの関係：面倒な型書きを減らしつつ、一度決まった型は絶対にブレさせない鉄壁の安全性を両立する。
- 型の絞り込み：条件分岐などを通じて、変数の型がより安全な状態へスマートに変化していく。
Hackの型チェッカーは、あなたのコードの足を引っ取る監視員ではありません。「最高の相棒として、バグが入り込む隙間を一緒に塞いでくれる心強いエンジニア」です。
この仕組みを味方につければ、大規模なアプリケーションでも自信を持ってリファクタリングや機能追加ができるようになりますよ。ぜひ、日々の開発でHackの厳格かつスマートな世界を楽しんでくださいね！