やあ。Hackの世界へようこそ。
私はHHVMのコアを長年見守ってきた者だ。君が今、PHPの古き良き（しかし少し危険な）世界から、Hackという「型と安全性の要塞」へ足を踏み入れようとしていることを心から歓迎するよ。
今日は、多くの開発者が「なんとなく」使いがちなPHPのファイル操作を、HSL（Hack Standard Library）のIOモジュールを使って、「堅牢で、テスト可能で、予測可能なアーキテクチャ」へと昇華させる話をしよう。
—
なぜPHPの`fopen`は「罪」なのか
PHPの `file_get_contents()` や `fopen()` は非常に手軽だ。しかし、これらは「副作用の塊」なんだ。
関数を呼ぶたびにファイルシステムという外部状態に触れ、成功するか失敗するかは実行時の神のみぞ知る。テストを書くとき、いちいち実際のファイルを用意しなければならないのは地獄だろう？
HackのHSLは、この「外部との境界」を明確に分離する設計思想を持っている。
—
1. HSL IOモジュールの基本：`File`と`Readable`/`Writable`
HackのIOは、抽象化されたインターフェース（`Readable`, `Writable`）をベースに構築されている。まずは基本のコードを見てみよう。
use namespace HH\Lib\File;
use namespace HH\Lib\IO;
<<__EntryPoint>>
async function main(): Awaitable
// 1. ファイルをオブジェクトとして開く
$file = File\open_read_only(‘/tmp/data.txt’);
// 2. 読み込み（HSLのIOは例外ではなく、結果を型として扱うのが基本）
$content = await $file->readAllAsync();
// 3. 閉じる処理は、スコープを抜ければ適切に管理される
// PHPのようなリソースハンドルの管理ミスが起きにくい設計だ
echo $content;
}
ここがポイント！
- 型安全な境界: `File\open_read_only` は、失敗すれば例外を投げるか、あるいは特定の型を返す。実行時の「リソースがない」といったエラーを、型システムの中で先回りしてケアできる。
- 非同期対応: `readAllAsync()` に注目してほしい。HHVMの強力な非同期ランタイムをフル活用し、ファイルIOがボトルネックにならない設計がデフォルトなんだ。
—
2. 「依存性の注入」でテストを制する
PHPの古いコードは「関数内にファイルパスをハードコード」しがちだ。これをHSLの力で、テスト可能な構造に変えてみよう。
悪い例:
function process_file() {
$data = file_get_contents(‘config.json’); // 依存が隠蔽されている！
}
Hack的で美しい例:
use HH\Lib\IO\Readable;
// 依存をインターフェースとして受け取る（DI）
function process_data(Readable $input): void {
// これで、テスト時にはメモリ上のバッファを渡せるようになる！
}
これで、テスト時には実際のファイルシステムにアクセスせず、`StringReader` などを使ってメモリ上で完結するテストが書ける。副作用をコードの端へ追いやる。 これこそが大規模開発を支えるHackの極意だ。
—
3. 陥りやすい「罠」と解決策
初学者がよくやるミスを伝授しておくよ。
1. 「とりあえず文字列でいいや」の誘惑:
HSLのIOは `Readable` インターフェースを愛している。文字列でパスを渡すのではなく、オブジェクトの抽象度を上げよう。型チェッカーが「君のコードはどこから入力を受けているのか？」を厳しく問いかけてくるはずだ。それに答えるのがHackエンジニアの醍醐味だよ。
2. 例外処理の無視:
HSLの関数は、期待通りに動かない時に `HH\Lib\File\Exception` を投げる。これを `try-catch` せずに放置するのは、PHPの警告を無視するのと同じだ。
- 対策: `HH\Lib\IO` が提供する `Result` パターンや、堅実な例外ハンドリングを習慣にすること。
—
まとめ：ここをクリアすれば、君はもうHackの住人だ
PHPからHackへの移行は、単なる言語の乗り換えではない。「不確実な外部世界（IO）と、厳格な論理世界（型システム）の境界線」を設計する能力を磨くことなんだ。
1. 直接関数を呼ばない: `File` モジュールのオブジェクトを扱おう。
2. インターフェースで受ける: `Readable`/`Writable` を使って、コードをテストから解放しよう。
3. 型を信じる: エディタ上の赤い波線は、君のコードが壊れる前に教えてくれる「親切な警告」だ。
ここをクリアした君なら、次はHHVMの `async` ランタイムの深淵や、ジェネリクスの高度な活用にも挑戦できるはずだ。
何か困ったことがあれば、いつでもコアの仕様書を読み解きにきてくれ。君のコードが安全で、かつ最高に速いものであることを、心から願っているよ。
Hackの旅を楽しんで！