Hackの `Awaitable
Hackの設計思想を理解する上で、非同期処理を単なる「並列実行の手段」と捉えているなら、それは甚だしい誤解だ。我々が構築したのは、単なるコールバック地獄からの脱却ではない。「型システムによる非同期フローの決定論的な統御」である。
今回は、HHVMの心臓部における `Awaitable
—
1. `Awaitable` は「値」ではない、「約束のトークン」だ
多くの開発者は `Awaitable
Hackの型チェッカー（HHCC）は、この `Awaitable` が解決されるまで決してその中身の型 `T` を露出させない。これが重要だ。もし `await` を忘れたコードがあれば、型システムは即座にエラーを吐く。
<<__EntryPoint>>
async function get_data_unsafe(): Awaitable
return 42;
}
function process_unsafe(): void {
// コンパイルエラー: Awaitable
// 型チェッカーは、戻り値が「解決済み」であることを型レベルで要求する
$val = get_data_unsafe();
echo $val + 1;
}
この厳格さは、ランタイムにおける「未解決の非同期値へのアクセス」を、実行時のセグメンテーションフォールトや論理破壊ではなく、コンパイル時の静的解析で完全に撲滅するという設計意図に基づいている。
—
2. 状態遷移とメモリ管理の深淵
HHVMにおいて `async` 関数が呼び出されると、フレームは即座にヒープ上に割り当てられる。ここで重要なのは、`Awaitable` が単なるクロージャではないという点だ。
- ステートマシン生成: コンパイラは `async` 関数を、再開可能なステートマシンの塊へと変換する。
- メモリ効率: HHVMは、この `Awaitable` が保持する一時変数のライフサイクルを徹底的に最適化する。生存期間が短い変数は、可能な限りスタックに近い領域で管理され、GCの負荷を最小化する設計だ。
もしあなたが `await` をネストさせすぎると、このステートマシンの階層が深くなり、メモリ上のスタックフレーム圧迫を招く。我々が `Awaitable` の型推論をここまで厳格にしているのは、非同期処理の連結（chaining）において型が崩れると、このヒープ上のステートマシンが整合性を失い、回復不能なメモリリークを引き起こすからだ。
—
3. 型システムによる「競合」の排除
非同期プログラミング最大の敵は「共有状態の破壊」だ。Hackでは `Concurrent` ブロックを導入することで、これを解決している。
async function fetch_data(): Awaitable
// 以下の2つは並列に実行される。
// 型チェッカーは、これらが共有する可変な状態に干渉していないかを静的に追跡する。
concurrent {
$a = await get_a();
$b = await get_b();
}
// この地点で、$a と $b は確実に初期化済み（かつ T 型）であることが保証される。
}
ここでの最大の知見は、「型システムがデータのライフサイクルを把握している」という点にある。`concurrent` ブロックが終了するまで、スコープ内の変数の型は「未解決」あるいは「部分適用」の状態としてマークされる。この閉じた世界において、外部からの副作用が混入する余地はない。
—
4. チーフアーキテクトからの助言：型に嘘をつかせるな
多くの者が犯す過ちは、`Awaitable
- `Awaitable` を伝播させろ: 戻り値の型を曖昧にせず、最後まで具象型を維持せよ。
- `await` のコストを意識せよ: 不要な `await` は、ステートマシンのコンテキストスイッチを無駄に発生させる。`Result` 型や `Awaitable` の合成を活用し、論理的な非同期境界を最小化せよ。
結論
Hackの `Awaitable
型システムが君のコードを「不完全だ」と拒絶するなら、それは君のコードが壊れているからではなく、君のコードがまだ「非同期の深淵」に耐えうるほど堅牢ではないという、システムからの慈悲深い警告だと思え。
型を信じろ。型が示す先には、スレッドセーフで予測可能な、美しくも冷徹な実行結果が待っている。