Hack言語の深淵：Strict Modeと型チェッカーが暴く「Unsafe」の正体
テックリードの私だ。コードレビューの現場で、未だに「動けばいいや」という惰性で書かれた緩いコードを見るたびに、私は深い絶望と強い怒りを覚える。
PHPの動的な泥沼から生まれ、厳格な型システムとHHVMの圧倒的な実行パフォーマンスを手に入れたHack言語。その真髄は、`<<__Strict>>` モードが強制する鉄の規律にある。型チェッカー（hh_client）の警告を「とりあえずのコメント」や「不必要なキャスト」で握りつぶすエンジニアは、時限爆弾を抱えてプロダクション環境を爆破するようなものだ。
今回は、Hackの型チェッカーがなぜそのコードを「Unsafe」と断定するのか、その背後にあるHHVMのメモリモデルと静的解析の哲学を解き明かし、現場で即座に使える堅牢な設計パターンを授けよう。
—
1. なぜ「Unsafe」なコードがプロダクションを殺すのか
Hackの型チェッカーは、単なるシンタックスチェッカーではない。プログラムの実行パスを網羅的に解析し、あらゆる変数のライフサイクルと型の安全性を数学的に証明するエンジンだ。
不完全な型定義や、動的な型評価（`mixed` や `dynamic` の野放図な使用）が混入すると、HHVMのJITコンパイラは最適化の機会を失い、ネイティブマシン語へのトランスパイル効率が劇的に低下する。つまり、「型をサボる」ことは、コードの保守性を下げるだけでなく、CPUサイクルとメモリをドブに捨てる行為に他ならない。
ここから、現場で頻発する3つの「Unsafe」アンチパターンと、それを完全無欠なStrictコードへと昇華させるリファクタリングの極意を伝授する。
—
2. 典型的なアンチパターンとリファクタリングの実践
アンチパターン A: `mixed` 型の安易な伝播と不毛なガード節
外部APIやレガシーなデータ構造を受ける際、面倒臭がって `mixed` や `array` をそのままビジネスロジック層に持ち込む者がいる。これは型チェッカーに対する宣戦布告だ。
❌ 危険なアンチパターン（型チェッカーを欺くコード）
<<__Strict>>
namespace HackLead\Examples;
// 最悪の例：mixedをそのまま渡し、内部で場当たり的なチェックを行う
class UnsafeDataProcessor {
public function process(mixed $raw_data): void {
// hh_clientはここで「この操作は安全ではない」と警告を発する
if (is_array($raw_data) && idx($raw_data, ‘status’) === ‘active’) {
$this->execute($raw_data[‘id’]); // 型不整合のリスク
}
}
private function execute(mixed $id): void {
// …
}
}
何が問題か： `mixed` を許容した瞬間から、型チェッカーは思考を停止する。ランダムな構造を持つデータがロジックの深部へ浸透し、予期せぬ `Undefined index` や型エラーを引き起こす。
⭕ 堅牢なプロダクションコード（ShapeとPattern Matchingによる解決）
型チェッカーにデータの構造を完全に理解させよ。Hackには `shape` という最強の武器がある。
<<__Strict>>
namespace HackLead\Examples;
// データの構造を厳格に定義する
type UserPayload = shape(
‘id’ => int,
‘status’ => string,
‘metadata’ => ?dict
);
class StrictDataProcessor {
public function process(UserPayload $payload): void {
// 型チェッカーが ‘status’ や ‘id’ の存在と型を完全に保証している
if ($payload[‘status’] === ‘active’) {
$this->execute($payload[‘id’]);
}
}
private function execute(int $id): void {
// 100%安全に処理を実行
}
}
—
アンチパターン B: ヌラビリティ（Nullability）の怠慢と無駄な防衛的コード
「もしかしたらnullかもしれない」という恐怖から、あらゆる箇所に `?`（Nullable）を付与し、無意味な `null` チェックを乱立させるアンチパターンだ。
❌ 危険なアンチパターン
<<__Strict>>
namespace HackLead\Examples;
class UnsafeUserSession {
private ?string $username = null;
public function setUsername(string $name): void {
$this->username = $name;
}
public function getFormattedName(): ?string {
// 呼び出し側がnullをハンドリングせざるを得ない設計の敗北
if ($this->username === null) {
return null;
}
return Str\uppercase($this->username);
}
}
⭕ 堅牢なプロダクションコード（状態の不変性とType Aliasing）
オブジェクトのライフサイクルを通じて「いつ値が存在するか」を型レベルで強制する。コンストラクターインジェクションとファクトリーパターンを組み合わせ、不完全なインスタンスの存在を型で排除する。
<<__Strict>>
namespace HackLead\Examples;
use HH\Lib\Str;
class StrictUserSession {
// 状態をカプセル化し、生成時点で値の存在を担保する
public function __construct(
private string $username,
) {
invariant(!Str\is_empty($this->username), ‘Username cannot be empty.’);
}
public function getFormattedName(): string {
// 戻り値は非nullであることが型で保証されているため、呼び出し側に無駄なチェックを強要しない
return Str\uppercase($this->username);
}
}
プロの知見: `invariant()` を適切に使用することで、型チェッカーはその後のコードブロックで変数が非nullであることを自動的に推論（Flow Typing）する。無駄な `if ($val !== null)` はコードを汚すだけだ。
—
アンチパターン C: 非同期処理（Async/Await）における型情報の欠落
HHVMの非同期処理モデルは強力だが、`Awaitable` の型パラメータを省略したり `mixed` にしたりすると、並行処理の恩恵が台無しになり、ハイドレーションの段階でバグが頻発する。
❌ 危険なアンチパターン
<<__Strict>>
namespace HackLead\Examples;
class UnsafeApiClient {
// Awaitableの型を指定していない（またはmixed）
public async function fetchData(int $id)/: Awaitable
$result = await HH\Asio\usleep(10000);
return dict[‘id’ => $id, ‘data’ => ‘sample’];
}
}
⭕ 堅牢なプロダクションコード（完全なジェネクスとAsyncの型制約）
<<__Strict>>
namespace HackLead\Examples;
type ApiResponse = shape(
‘id’ => int,
‘data’ => string,
);
class StrictApiClient {
/
- 戻り値の型を明示し、非同期のコンテキスト全体で型安全性を維持する
/
public async function fetchDataAsync(int $id): Awaitable
// 実際にはここで外部HTTPクライアント等を呼ぶ
await HH\Asio\usleep(10000);
return shape(
‘id’ => $id,
‘data’ => ‘sample_data’,
);
}
public async function processMultipleRequestsAsync(vec
// 複数の非同期処理を並行実行し、型を完全に維持する
$awaitables = Vec\map($ids, $id ==> $this->fetchDataAsync($id));
return await HH\Asio\v($awaitables);
}
}
—
3. チーフアーキテクトからの提言：型チェッカーを手懐けろ
Hack言語における型チェッカー（`hh_client`）は、開発の足枷ではない。あなたの背中を守る、最も優秀なシニアレビューアーである。
1. `mixed` や `dynamic` をコードベースから根絶せよ。 どうしても必要な境界領域（JSONパース等）でのみ限定的に扱い、即座に `shape` やプリミティブ型に型アサーション・バリデーションを行え。
2. フロータイピング（Flow Typing）を理解せよ。 型チェッカーの制御フロー解析を信じ、冗長なnullチェックやキャストを排除した美しいコードを書け。
3. CI/CDパイプラインに `hh_server` のチェックを組み込め。 型エラーが1つでも存在する場合はビルドを即座に失敗させよ。妥協した瞬間に、システムの寿命は縮まる。
型を制する者が、Hackを制し、高パフォーマンスなWebアーキテクチャを掌中に収める。次のコードレビューでは、君たちの手による「完璧なStrictコード」が見られることを期待している。