HackのStrict Modeにおける型推論の限界と明示的型注釈の境界線
コードレビューをしていて、次のようなコードに出くすたびに私は深い絶望感を覚える。
<<__Strict>>
namespace Hack\Expert;
// 典型的な「思考停止した型推論依存」のアンチパターン
async function process_payload(mixed $raw_data): Awaitable
// $dataの型が曖昧なままチェーンメソッドを回している
$data = JsonSerializer::decode($raw_data);
$processed = $this->transform($data);
// ここで謎のType Errorが爆発する
$this->persist($processed);
}
「Hackの型チェッカーは優秀だから、細かい型を書かなくても推論してくれるだろう」——この甘い認識が、大規模Webアプリケーションの本番環境を静かに、しかし確実に崩壊させる。
HHVMのアーキテクチャ、そしてHackの厳格な静的解析システムを極めた者であれば知っているはずだ。型推論は「ボイラープレートを削るための魔法」ではなく、「不確実性をコンパイル時にねじ伏せるための防壁」でなければならないということを。
今回は、Strict Mode（`<<__Strict>>`）下における型推論の限界点を見極め、プロダクション環境で破綻しない「明示的型注釈の境界線」を、実戦的な設計パターンとともに叩き込む。
—
1. なぜ型推論だけではプロダクションを救えないのか？
HHVMのJITコンパイラと型チェッカー（`hh_client`）は、世界最高峰の速度と静的解析能力を誇る。しかし、型チェッカーの推論能力には、アーキテクチャ上の明確な「境界線」が存在する。
境界線①：外部境界（IO、外部API、シリアライザ）からの入力
`JsonSerializer::decode()` やデータベースからの生データフェッチは、Hackの型チェッカーから見れば「未知の領域」である。これらを `mixed` や `dynamic` のまま推論させ、後続のコードで自動型推論に頼ると、型チェッカーは安全の保証を放棄せざるを得なくなる。
境界線②：複雑なジェネリクスと高階関数（Higher-Order Functions）
コレクション操作（`Map`, `Vec`, `ImmSet`など）が入り組んだ複雑なクロージャ内において、チェッカーが局所的なコンテキストを見失うケースがある。ここで推論に頼ると、エラーメッセージは難解になり、IDEの補完も効かなくなる。
境界線③：リファクタリング耐性の欠如
明示的な型注釈がないコードは、一見するとスッキリして書くのが速いように思える。しかし、半年後に別チームのエンジニアがそのコードを改修する際、「このメソッドが正確に何を返し、何を要求しているのか」を理解するためにHHVMのAST（抽象構文木）を脳内パースしなければならなくなる。これは技術負債の加速装置に他ならない。
—
2. 【実践】堅牢性と美しさを両立するプロダクションコード設計
では、どこまでを型推論に委ね、どこからを明示的に書くべきなのか？
答えはこうだ：「境界（Boundary）で型を厳格に確定させ、内部（Domain）のアルゴリズムで推論を最大活用する」。
以下のコードを見てほしい。非同期API連携と厳格な型安全性を両立させた、実務でそのまま使えるプロダクションレベルの設計パターンだ。
<<__Strict>>
namespace Hack\Expert\DesignPattern;
use namespace HH\Lib\{C, Str, Vec};
/
- 外部APIから取得するペイロードのShape定義。
- 外部境界では、必ずShapeやTypeAliasで構造を明示的に固定する。
/
type UserApiResponse = shape(
‘id’ => int,
‘name’ => string,
‘email’ => string,
‘metadata’ => ?array
);
/
- ドメイン層で扱う不変のモデル
/
final class UserEntity {
public function __construct(
public readonly int $id,
public readonly string $name,
public readonly string $email,
) {}
}
final class UserApiClient {
/
- 外部通信を行うメソッド。戻り値の型は絶対に推論に頼らず明示する。
/
public async function fetchUserDataAsync(int $userId): Awaitable
// 実際にはここでHTTPクライアントによる非同期フェッチを行う
$rawJson = await $this->httpGetAsync(\Str\format(‘/users/%d’, $userId));
デコード結果をShapeにキャスト/バリデーションし、境界を確立する
$decoded = JsonSerializer::decodeAsShape
return $decoded;
}
<<__Rx>>
private async function httpGetAsync(string $endpoint): Awaitable
// モック実装
return ‘{“id”: 1, “name”: “Hack Master”, “email”: “master@hhvm.com”, “metadata”: null}’;
}
}
/
- ユースケース層：
- ここではローカル変数の型推論を積極的に活用しつつ、関数のシグネチャは完璧に縛る。
/
final class UserProcessor {
public function __construct(private UserApiClient $client) {}
/
- 【重要】パブリックAPIの引数と戻り値には、1ミリの曖昧さも残さない。
/
public async function processAndExportUserAsync(int $userId): Awaitable
// 境界での型確定（明示的型注釈と同等の安全性を担保）
$response = await $this->client->fetchUserDataAsync($userId);
// 【型推論の活用】
// 右辺の返り値型が明確であるため、ローカル変数 $entity の型推論に委ねることで冗長さを排除する。
$entity = $this->hydrate($response);
// ドメインロジックの実行
$this->validateEntity($entity);
return $entity;
}
/
- 内部ヘルパーメソッド。
- 内部スコープであっても、引数と戻り値の型は必ず明示する（チーム開発の鉄則）。
/
private function hydrate(UserApiResponse $response): UserEntity {
return new UserEntity(
$response[‘id’],
$response[‘name’],
$response[‘email’],
);
}
private function validateEntity(UserEntity $entity): void {
if (Str\is_empty($entity->email)) {
throw new \InvalidArgumentException(‘User email cannot be empty.’);
}
}
}
—
3. コードレビューで指摘すべき「型推論のアンチパターン」
テックリードとして、プルリクエストのレビュー時に以下の記述を見つけたら、即座に差し戻しを要求してほしい。
❌ アンチパターン1: クロージャや高階関数内での暗黙の `mixed` 伝播
// BAD: $items が mixed だと、map内の $item も推論できず安全性が失われる
$results = Vec\map($raw_collection, $item ==> {
return $item[‘some_property’] 2;
});
【修正アプローチ】
コレクションを渡す前に、入力データの型をジェネリクスまたは具体的なShape/クラスにキャストして確定させること。
❌ アンチパターン2: メソッドの戻り値型省略（推論への依存）
// BAD: 戻り値の型が書かれていない。内部の実装が変わった瞬間にAPI契約が破壊される
public function calculateTotal($items) {
return Vec\sum($items);
}
【修正アプローチ】
パブリックおよびプロテクテッドメソッドのシグネチャには、必ず戻り値の型（この場合は `num` や `float`）を明記する。型チェッカーのためだけでなく、「人間へのドキュメント」としての役割を果たすためだ。
—
4. 纏め：Hack使いが守るべき「境界線の哲学」
HackのStrict Modeにおける型システムは、開発者の認知負荷を下げるためにあるのではない。「実行時エラーという名のバグを、コンパイル時に完全に駆逐する」ための究極の武器である。
- 外部境界（API、DB、ファイル、UI入力）: 型推論を一切信用せず、Shape、TypeAlias、クラスを用いて厳格に型を定義・検証する。
- 内部ドメイン（ビジネスロジック、プライベートメソッド）: 明確なシグネチャの元でローカル変数の型推論を巧みに使いこなし、コードの美しさと保守性を最大化する。
この境界線をマスターしたとき、あなたの書くHackコードは、秒速で動作し、絶対に壊れない、真に堅牢なプロダクションシステムへと昇華する。さあ、IDEを開き、曖昧な型をすべて駆逐しに行こう。