PHPの「yield」をHackの「非同期ストリーム」へ昇華させる：HSLで実現する型安全なデータパイプライン
やあ。Hackの世界へようこそ。
PHPの`yield`を使ってジェネレータを書いたことはあるかい？メモリを節約しながら大量のデータを処理する、あの強力な武器だ。
しかし、PHPの`Generator`には「静的型付けの欠如」と「非同期I/Oとの相性の悪さ」という二つの大きな壁がある。HackとHSL（Hack Standard Library）を使えば、その壁を粉砕し、堅牢で型安全な非同期ストリームへ進化させることができるんだ。
今日は、その「極致」を一緒に覗いてみよう。
—
1. PHPの`yield`が抱える「限界」
PHPで`yield`を使うとき、あなたは「何が流れてくるか」をコンパイラに証明できていない。
// PHPの例: 何が返ってくるか、実行してみるまで分からない
function get_data() {
yield [‘id’ => 1, ‘val’ => ‘A’];
yield ‘invalid_data’; // 混ぜてもエラーにならない！
}
この「混沌」こそが、大規模開発におけるバグの温床だ。Hackでは、この流れを「型という名のレール」に乗せる。
—
2. AsyncIterator: 非同期という「時間軸」を制御する
HSLの`AsyncIterator`は、単なるイテレータじゃない。外部APIからのレスポンス待ちや、DBクエリのような「待機時間（Awaitable）」を含むストリームを型安全に構築するためのアーキテクチャだ。
基本的な実装パターン
use namespace HH\Lib\{Async, Vec};
// 型付きの非同期ストリームを定義
async function get_user_stream(): AsyncIterator
$ids = vec[‘user_1’, ‘user_2’, ‘user_3’];
foreach ($ids as $id) {
// 非同期I/Oをシミュレート
await Async\sleep(1);
yield $id;
}
}
ここがポイント：
- `AsyncIterator
`と宣言することで、この関数が「文字列を非同期に流し続ける」ことをコンパイラが保証する。 - `await` を使って、I/O待ちの間に他の処理をHHVMのイベントループに委譲できる。これが「ブロッキングしない効率的なストリーミング」の正体だ。
—
3. 陥りやすい「罠」と解決策
Hack初心者が必ず一度は踏む地雷が二つある。これさえ押さえれば、君はもう中級者の入り口だ。
① 型の不整合によるコンパイルエラー
`AsyncIterator`の戻り値型と、`yield`する値の型が一致しないと、HHVMは容赦なくエラーを吐く。
- エラーの回避策: `yield`する値が複雑な場合は、`shape`型を活用しよう。
// 型安全なストリームの定義
type User = shape(‘id’ => int, ‘name’ => string);
async function stream_users(): AsyncIterator
yield shape(‘id’ => 1, ‘name’ => ‘Alice’);
// yield 1; // ここでコンパイラが「Shapeを期待しているのにintが来た」と叱ってくれる
}
② イテレータの「使い回し」はできない
`AsyncIterator`は一度消費したら終わりの「一過性のストリーム」だ。何度もループさせようとすると、意図せぬ挙動になる。
もしデータを保持したいなら、`Vec\from_async_iterator()`を使ってメモリに展開することを検討してほしい。
—
4. なぜこれが「世界最高峰」のアーキテクチャなのか
HHVMは、この`AsyncIterator`を単なる言語機能ではなく、「実行時の型チェック」と「メモリ管理」を統合した最適化パイプラインとして処理している。
君が書いたコードは、ただのジェネレータではない。HHVMのJIT（Just-In-Time）コンパイラによって、最大限に効率化されたバイナリへと変換されるんだ。型が確定しているからこそ、HHVMは型チェックのオーバーヘッドを削ぎ落とし、C++レベルのパフォーマンスを引き出せる。
—
まとめ：次に進む君へ
Hackの型システムは、君を縛る鎖じゃない。「君がより速く、より安全に走るためのガイドライン」だ。
1. `yield`を使う際は、必ず`AsyncIterator
2. 複雑な構造体は`shape`で型を固定せよ。
3. I/Oが発生する箇所には迷わず`await`を配置せよ。
このストリームの書き方をマスターすれば、君が扱うデータ処理は、PHP時代とは比較にならないほど堅牢で美しいものになる。
ここをクリアした君なら、次はHSLの`Vec`や`Dict`モジュールを組み合わせて、宣言的にデータを変換するパイプライン構築へ進むといい。Hackの深淵は、まだまだ深いぞ。
何か不明点があればいつでも聞いてくれ。応援しているよ！