PHPの「null地獄」から脱却せよ：Hackの型システムで実現する「安全な値」の扱い方
やあ。HHVMの深淵を覗き込み、Hackという言語の静的な美しさに魅了された諸君。ようこそ。
PHPからHackへと足を踏み入れた開発者が、最初に直面する「洗礼」がある。それは、「null」との戦いだ。PHPでは `if ($val !== null)` と書けば済んでいたことが、Hackでは型チェッカー（HHVM Typechecker）によって厳格に管理される。
多くの初心者がここで「面倒だ」と感じ、`?` を乱用して型を逃げ回る。だが、それはHackの真のパワーを捨てているのと同じだ。今日は、PHPの場当たり的なnullチェックを、Hackの強力な型システムとHSL（Hack Standard Library）を使った「Optionパターン」へと昇華させる極意を伝授しよう。
—
1. なぜ「`if ($val !== null)`」は不十分なのか？
PHPのコードを見てみよう。
// PHPの典型的なnullチェック
function getName(?string $user): string {
if ($user !== null) {
return strtoupper($user);
}
return ‘GUEST’;
}
このコードの何が悪いのか？それは「型システムが値のライフサイクルを信用していない」点だ。`if` を抜けた瞬間、コンパイラは `null` の可能性を忘れてしまう。複雑なロジックが絡むと、この「チェックの漏れ」が実行時エラーを引き起こす。
Hackにおける真の最適解は、「値をnullのまま放置せず、型で包み込み、メソッドチェーンで安全に抽出する」ことだ。
—
2. `?` を「安全の印」に変える：Nullableの極意
Hackでは、`?T`（nullable型）を単なる「nullが入るかもしれない箱」ではなく、「まだ解決されていない可能性」として捉える。
ここで活躍するのが `HH\Lib\Vec` や `HH\Lib\Dict`、そして何よりnull安全なメソッドチェーンだ。
良い例：HSLを使った宣言的な処理
PHPで `if` を書く代わりに、値を「流す」ことを意識しよう。
use namespace HH\Lib\Str;
// ?string を受け取り、大文字にして返す
function formatName(?string $user): string {
// pipe演算子やnull安全な処理を意識する
return $user
|> ($$ ?? ‘GUEST’) // nullならGUESTに置換
|> Str\uppercase($$); // 安全に大文字へ
}
ここがポイント：
- `|>` (パイプ演算子) を使うことで、変数を一時保存することなく、値が「変換」されていく過程を可視化できる。
- `$$` はパイプライン内の現在の値を指す。これにより、変数のスコープを最小限に抑え、バグの温床を排除できる。
—
3. 陥りやすい罠：`?` をつければいいという錯覚
初心者が最もよくやるミスが、「とりあえずnullableにしておけばエラーが出ない」という思考停止だ。
// ダメな例：全ての型をnullableにしてしまう
function process(?int $a, ?int $b): ?int {
return $a + $b; // エラー！null同士は足せない
}
型チェッカーは容赦なく君を叱るはずだ。「`?int` は `int` ではない」と。
このエラーが出たとき、君は「型を変える」のではなく、「nullのケースをどう処理するか」という設計を強制されていると理解してほしい。
解決策：`Shapes` や `Option` 的な発想
もし値が複数あるなら、`Shapes`を使ってnull許容範囲を定義する方が遥かに堅牢だ。
type UserData = shape(‘name’ => string, ‘age’ => ?int);
function getAge(UserData $user): int {
// nullなら0を返すという「明確なルール」を書く
return $user[‘age’] ?? 0;
}
—
4. まとめ：Hackを掌握するためのマインドセット
Hackの型システムは、君の敵ではない。君のコードに潜む「未定義の未来」を摘み取るための最強のガードレールだ。
1. `if` でチェックするな、値を変形させろ：`??` や `|>` を使い、条件分岐のネストを消し去る。
2. Nullableは「未決定」のサイン：型を `?` で逃げるのではなく、プログラムの境界で `null` を排除する設計を心がける。
3. HSLを愛せ：`HH\Lib` にある関数群は、型安全を担保したままnullを扱うための先人たちの知恵だ。
「ここをクリアすれば、Hackの基本はバッチリマスターできますよ」。
nullを恐れるのではなく、nullを型システムの力で「完全に制御下」に置く。それが、PHPのコードをHackの芸術へと昇華させる第一歩だ。
次は、`vec` や `dict` を使った、さらに高度なデータ構造の扱いについて語ろうか。準備ができたら、またここへ戻ってきなさい。君のコードが、より堅牢で美しくなることを期待している。