【入門編】HSL DateTimeとイミュータブル時間計算：PHP DateTimeの可変バグを根絶するタイムゾーン設計 – Hack言語コア・静的型システムとHHVMのアーキテクチャ解析バイブル

Hackの真髄：PHPの「可変性（Mutable）」という呪縛から解放される、イミュータブル時間設計

こんにちは。Hackの深淵を覗き込み、その型システムの恩恵に日々感謝している諸君。

今日は、PHPからHackへ移行するエンジニアが必ず一度は躓き、そして必ず一度は痛い目を見る「時間操作（DateTime）」の罠について話そう。PHPの `DateTime` は、いわば「勝手に中身が変わる魔法の箱」だ。しかし、Hackの哲学は全く異なる。

我々が目指すのは、「一度定義した時間は、宇宙の法則のように決して変わらない」という完全なイミュータブル（不変）な世界だ。なぜこれが重要なのか、そしてどう実装すべきか。伝説的なHHVMアーキテクトの視点から紐解いていこう。

—

PHPの `DateTime` は 可変（Mutable） だ。以下のコードを見てほしい。

// PHPの悪夢
$date = new DateTime(‘2023-10-01’);
$tomorrow = $date->modify(‘+1 day’);

// ここで、$date 自体も 2023-10-02 に書き換わっている！
// 参照渡しや関数の副作用で、予期せぬバグが連鎖する原因だ。

この「書き換え」は、大規模なアプリケーションにおいて「どこで日付が狂ったのか」を追跡不能にする最悪のバグの温床となる。Hackの型チェッカー（Hack Typechecker）は、こうした「副作用」を極めて嫌う。

—

Hack Standard Library (HSL) には、`HH\Lib\DateTime` が用意されている。これはPHPの `DateTime` とは全くの別物だ。メソッドを呼ぶたびに新しいインスタンスが生成され、元のオブジェクトは絶対に壊れない。

use HH\Lib\DateTime;

<<__EntryPoint>>
function main(): void {
// 現在時刻を取得（UTC基準が鉄則だ）
$now = DateTime\now();

// 1日後の時間を算出
// add メソッドは元の $now を変更せず、新しいオブジェクトを返す
$tomorrow = $now->add(DateTime\Duration::days(1));

// 結果：$now は変わらない。これが安全なコードの第一歩だ。
echo $now->format(‘Y-m-d’); // 2023-10-01 (仮)
echo $tomorrow->format(‘Y-m-d’); // 2023-10-02
}

型チェッカーは、`DateTime` オブジェクトがどこかで破壊される可能性を完全に排除できる。関数に渡しても、その関数の中で時間が勝手に書き換えられる心配がない。これは並列処理や複雑なロジックを組む際、エンジニアに「安心感」という名の強力な武器を与える。

—

移行期に初心者が陥りやすいのが、「タイムゾーンの混在」だ。

// 悪い例: 環境依存のタイムゾーンを許容する
// $d = DateTime::fromUnixTimestamp(1696118400);

// 良い例: 明示的な変換を行う
$utc_time = DateTime::fromUnixTimestamp(1696118400)
->toTimeZone(DateTime\TimeZone::utc());

Hackの型システムは、あなたが「どこの時間軸で計算しているか」を常に意識させる。これは面倒に見えて、実は「タイムゾーン変換バグ」をコンパイル時に検知するための布石なんだ。

—

HSLでは、時間の間隔を表現する `Duration` オブジェクトを使う。

// 1週間後のスケジュールを生成
$one_week = DateTime\Duration::days(7);
$deadline = $now->add($one_week);

// 間違った加算を防ぐ型システム
// 数値の 7 をそのまま足そうとしても、型エラーで怒られる。
// Duration 型を使うことで、単位の曖昧さを排除できる。

—

Hackへの移行は、単なるPHPのコードを書き換える作業ではない。「可変性（Mutable）という怠惰な設計からの卒業」だ。

最初は「毎回新しいインスタンスを作るなんてメモリの無駄では？」と思うかもしれない。だが、HHVMのメモリ管理能力とJITコンパイラの最適化を信じてほしい。安全で予測可能なコードは、デバッグ時間を劇的に減らし、結果として開発効率を最大化する。

ここをクリアすれば、君はもう単なるコーダーじゃない。大規模システムを堅牢に設計できる「アーキテクト」の一歩を踏み出したと言っていい。

さあ、恐れずに `DateTime` をイミュータブルに書き換えよう。型チェッカーがエラーを吐く場所は、君がバグを未然に防げた場所なんだから。

健闘を祈る！