数値計算の深淵：PHPの「曖昧さ」をHackの型システムで屠る
PHPの数値計算は、長年「便利だが信頼できない」という業を背負ってきた。`0.1 + 0.2 !== 0.3`。この古典的な浮動小数点の挙動に対し、多くの開発者は「そういうものだ」と諦め、`round()`や`sprintf()`で場当たり的なパッチを当てる。
しかし、HHVMのコアに身を置く我々にとって、これは致命的な設計ミスだ。PHPの動的型付けが隠蔽していたのは、CPUアーキテクチャの残酷な現実と、浮動小数点演算における精度崩壊の歴史である。
Hackへの移行、そしてHSL（Hack Standard Library）の導入は、単なるシンタックスの刷新ではない。「曖昧な計算」を「コンパイル時に検証可能な型」へと昇華させる、システムの再構築である。
—
1. 浮動小数点の亡霊：なぜPHPの数値計算は「撃墜」されるのか
PHPの`float`は、IEEE 754倍精度浮動小数点数に直結している。HHVMのJITコンパイラは、これをCPUのレジスタ（x64であればXMM/YMM）へ直接展開するが、ここで型の曖昧さがボトルネックとなる。
PHPでは`int`から`float`への暗黙の型変換が頻発する。これがJITの最適化経路を汚染する。型が確定しない限り、HHVMは推論の安全を担保するために、計算のたびに「タグチェック」というオーバーヘッドを課すのだ。
限界の回避：HSL `Math` モジュールの真価
HSLの数学関数は、単なるラッパーではない。これらは、型チェッカー `hh_client` と密接に連動し、入力値の境界条件をコンパイル時に制約する。
use namespace HH\Lib\Math;
// PHP的思考: 曖昧な型と浮動小数点の比較
// if ($val1 == $val2) … // 危険：精度誤差で壊れる可能性がある
// Hack的思考: 許容誤差(Epsilon)の明示と型安全
function is_essentially_equal(float $a, float $b): bool {
// HSLは計算精度を担保する設計に誘導する
return Math\abs($a – $b) < 1e-9;
}
我々がHSLで設計したのは、「境界を越える前に、型で弾く」という思想である。
—
2. メモリとレジスタの最適化：型がもたらす機械語の精緻化
HHVMのアーキテクチャにおいて、数値計算の最適化は「型情報の純度」に依存する。もし変数が `int | float` という共用体型（Union Type）で定義されていれば、JITコンパイラはGuard（分岐）を挿入せざるを得ない。
しかし、Hackで厳格に型を定義し、HSLを使用して計算を行えば、HHVMの `TypeSpec` が最適化を極限まで押し進める。
- Type Specialization: `int`であることが静的に確定していれば、JITは動的なタグチェックを完全に排除し、CPUの直接的な整数演算命令（`add`, `sub`, `imul`）を生成する。
- Boxingの回避: 効率的な型付けは、値をヒープ上のメモリ領域からスタックまたはCPUレジスタへと昇格させる。これは数値計算のホットパスにおいて、数百ナノ秒の削減を意味する。
—
3. セキュリティの視点：数値の「爆発」を防ぐ
セキュリティ研究者がPHPアプリケーションの脆弱性として好むのが、整数オーバーフローと型強制による予期せぬ挙動だ。`1e309`が`INF`になるPHPの挙動を、Hackは型レベルで「制御された状態」へと移行させる。
HSLの関数群は、計算結果が期待される範囲外にある場合、あるいは不正な数値（NaNなど）を扱う場合、ランタイムの例外を投げるか、コンパイル時に型チェッカーが警告を出す。
// 厳格な数値制御の例
function calculate_risk_factor(float $val): float {
// 0除算やオーバーフローを型システムで意識させる
if (Math\is_nan($val) || Math\is_infinite($val)) {
throw new InvalidArgumentException(“Unsafe numerical input.”);
}
return $val 0.05;
}
—
チーフアーキテクトの提言
Hackへの移行を検討しているシニアエンジニアに告ぐ。PHPからHackへの移行は「言語の書き換え」ではない。「コードの数学的性質を定義し直す」プロセスである。
1. Strict Modeの徹底: `<<__Strict>>` なきコードは、HHVMの最適化エンジンを盲目にする。
2. HSLの活用: 自前で計算関数を書くな。HSLの関数はHHVMのランタイム特性に合わせてチューニングされており、将来的なコンパイラアップデートの恩恵を直接受ける。
3. 浮動小数点からの脱却: 金額計算など、厳密さが求められる領域では `float` を捨て、HSLの数値モジュールを活用した「スケール付き整数（Fixed-point）」の実装か、あるいは `string` での演算（BCMathのラッパー）を型安全にラップして使用せよ。
システムは、その中の数値がいかに管理されているかで強度が決まる。曖昧さを許容する時代は終わった。Hackの型システムという「守護者」を使いこなし、貴殿の計算ロジックを鉄壁のものとせよ。
それが、HHVMという強靭なエンジンを使いこなす唯一の道だ。