Hackの深淵へようこそ：数百万行を瞬殺する「Incremental Type Checking」の秘密
こんにちは。Hackのコア開発チームから来ました。今日は皆さんに、Hackがなぜ数百万行という巨大なコードベースでも、まるで魔法のように高速に型チェックを完了できるのか、その「心臓部」の話をしましょう。
「型チェックに数分かかる」なんて時代は、Hackの世界では過去の遺物です。私たちがどうやってこのパフォーマンスを実現しているのか、そのアーキテクチャの核心を紐解いていきますね。
—
1. なぜ「全探索」ではいけないのか？
初学者の皆さんは、型チェックと聞くと「コード全体を最初から最後まで読み直して、矛盾がないか確認する」というプロセスを想像するかもしれません。しかし、Facebook（現Meta）の規模でそれをやれば、チェックが終わる頃には次のデプロイ時間が来てしまいます。
Hackの型チェッカー（`hh_server`）が採用しているのは、「Incremental Type Checking（差分型チェック）」という戦略です。
差分チェックのイメージ図
[ 全コード ]
├── [ モジュールA ] <--- 変更なし
├── [ モジュールB ] <--- ここだけ変更！
└── [ モジュールC ] <--- 変更なし
通常: A + B + C を全て再計算（遅い！）
Hack: 変更された B の影響範囲だけを再計算し、AとCは「型推論の結果」をキャッシュから再利用（速い！）
この「影響範囲の特定」こそが、Hackが世界最高峰の言語である理由の一つです。
---
2. 依存関係グラフ（Dependency Graph）の掌握
Hackの型チェッカーは、コードを単なるテキストの羅列ではなく、「型情報の依存関係グラフ」として保持しています。
例えば、関数 `A` が関数 `B` を呼び出している場合、`A` の型は `B` の戻り値の型に依存していますよね。
<<__Strict>>
namespace App;
// Bの型が変われば、それを呼ぶAも再チェックが必要
function b(): int {
return 42;
}
function a(): int {
return b(); // ここでb()に依存している
}
もし `b()` の戻り値を `string` に変えたら、チェッカーは「`a()` は `int` を返すはずなのに `string` が入ってきた！」と瞬時に検知します。しかし、`b()` と全く関係のない `c()` という関数は、型チェックの対象外としてスキップされます。この「無駄を極限まで削る」仕組みが、数百万行を数秒で捌く秘訣なんです。
—
3. 陥りやすい罠：「型エラー」が出た時の心構え
HackのStrictモード（`<<__Strict>>`）で開発していると、型チェッカーに怒られることがありますよね。初学者がよくやるミスを見てみましょう。
エラー例：Nullable型の扱い忘れ
function get_name(?string $name): int {
// $name が null かもしれないのに、長さを測ろうとしている
return strlen($name);
}
ここをクリアするポイント：
Hackは「Null安全」を非常に重視します。`?string` と書いたら、それは「文字列か、あるいはNull」という意味です。Nullかもしれないものをそのまま関数に渡すと、チェッカーは容赦なく指摘します。
修正後のコード：
function get_name(?string $name): int {
// 明示的にnullチェックを行うことで、Hackはここで $name は string であると確定させる
if ($name === null) {
return 0;
}
return strlen($name);
}
チェッカーが「なぜここでエラーを出すのか？」と疑問に思ったら、それは「型チェッカーがあなたのコードの安全性を守ろうとしてくれている」証拠です。彼らは敵ではなく、最強のコードレビューアなんですよ。
—
4. 開発現場で意識すべき「型推論」の魔法
Hackは非常に強力な型推論を持っています。でも、大規模開発では「シグネチャの明示」が重要です。
- 関数の引数と戻り値には必ず型を書く
- これを行うことで、型チェッカーは関数の中身を毎回解析しなくても、外側から見た「型契約」だけでチェックを進められます。
これが結果的に、皆さんのチームのCI時間を短縮し、開発体験（DX）を劇的に向上させます。
—
まとめ：Hackを掌握するということ
Hackの型システムは、単に「エラーを出すための仕組み」ではありません。「コードベースという巨大な生命体が、常に健全であることを保証するためのインフラ」です。
1. Incremental: 変更分だけを賢くチェックする。
2. Dependency: 依存関係をグラフ化して影響範囲を最小化する。
3. Strict: Null安全を徹底し、バグを未然に防ぐ。
これらを理解していれば、皆さんはもうHackの初学者ではありません。大規模システムのアーキテクチャを支える「エンジニアとしての眼」を手に入れたも同然です。
さあ、次はどんなコードをHackで書きましょうか？ 堅牢で、速く、美しいコードの世界が、皆さんを待っていますよ。また次の講義でお会いしましょう。