Hack言語を極限まで硬くする：Function Typesの共変・反変制約と、堅牢な高階関数設計
テックリードの私だ。コードレビューの際、「動くには動くが、型システムの恩恵を全く受けていない場当たり的なコード」を見かけるたびに私は頭を抱えている。
特に、高階関数（Higher-Order Functions）を設計する際、`function(T): U` といったFunction Types（関数型）に対する型制約の向きを誤っているエンジニアが後を絶たない。HHVMの型チェッカー（Typechecker）の挙動、そして型の共変（Covariance）・反変（Contravariance）の原則を理解していなければ、あなたの書いたコードはいずれ大規模なリファクタリングの地獄を生むことなる。
今回は、Hackの厳格な静的モード（`<<__Strict>>`）における関数型の型制約のメカニズムを解剖し、非同期API連携や複雑なドメインロジックでも破綻しない、プロダクション品質の設計パターンを授けよう。
—
1. 脳内に入れておくべき大前提：関数型の変性（Variance）
OOPにおけるジェネリクスや配列の共変性は感覚的に理解していても、「関数型」が持つ引数と戻り値の変性になると途端に手が止まるエンジニアが多い。
Liskovの置換原則（LSP）を思い出せ。関数型 `(ArgType) ==> RetType` において、変性の方向は以下の厳格なルールに従う。
- 引数（Arguments）：反変（Contravariant）
- より広範な（スーパータイプの）引数を受け入れられる関数は、より狭い（サブタイプの）引数を受け入れるべき場所に代入・渡却できる。
- 戻り値（Return Value）：共変（Covariant）
- より特化した（サブタイプの）戻り値を返す関数は、より広範な戻り値を期待する場所に代入・渡却できる。
HHVMの型チェッカーは、この原則をミリ秒単位のコンパイル時に厳密に検証している。ここを無視したコードは、実行時エラーの温床となるのだ。
—
2. 【アンチパターン】なぜその高階関数は拡張性に欠けるのか
まずは、よくある「動くが脆い」コードを見てみよう。非同期APIレスポンスのパイプライン処理を想定してほしい。
<<__Strict>>
namespace App\Bad;
class User {
public function __construct(public string $name) {}
}
class AdminUser extends User {}
// 非常に素朴な高階関数
class Pipeline {
// 問題点: 引数の型が固定されており、サブタイプを受け入れられない、
// あるいは関数型の制約が甘い。
public static function process(
User $input,
(function(User): User) $transformer,
): User {
return $transformer($input);
}
}
この設計のどこが問題か？ `AdminUser` 専用の処理関数を渡そうとしたとき、あるいは将来的に `SuperAdminUser` が現れたとき、型チェッカーが反発するか、あるいはコードの再利用性が著しく損なわれる。
—
3. プロダクション品質：共変・反変を完全に制御したパイプライン設計
では、HHVMの型システムを限界まで活かし、ボイラープレートを排除しつつ、絶対に型安全な高階関数コンポーネントをどう書くべきか。
以下の「実務でそのまま使える」プロダクションコードを見てほしい。ジェネリクスと関数型の制約を組み合わせた最高峰の設計だ。
<<__Strict>>
namespace App\Production;
/
- 基底のドメインエンティティ
/
abstract class Entity {
public function __construct(public int $id) {}
}
class Customer extends Entity {}
class PremiumCustomer extends Customer {}
/
- 堅牢な非同期APIレスポンス・パイプラインプロセッサ
- @template TIn 入力データの型（反変の文脈で機能）
- @template TOut 出力データの型（共変の文脈で機能）
/
final class EventPipeline
/
- @param (function(TIn): TOut) $handler
- 引数は TIn のスーパータイプを受け入れ可能でなければならず、
- 戻り値は TOut のサブタイプでなければならない。
/
public function __construct(
private (function(TIn): TOut) $handler
) {}
public function execute(TIn $input): TOut {
// ここで厳格な型チェックが保証される
return ($this->handler)($input);
}
/
- パイプラインを合成する（Monadic bind的なアプローチ）
- @template TNextOut
- @param (function(TOut): TNextOut) $nextHandler
/
public function pipe
(function(TOut): TNextOut) $nextHandler
): EventPipeline
return new EventPipeline(
$input ==> $nextHandler(($this->handler)($input))
);
}
}
// ==========================================
// 実際の利用例
// ==========================================
async function run_pipeline_demoAsync(): Awaitable
// Customerを受け取り、何らかの処理をしてCustomerを返すハンドラ
$baseTransformer = (Customer $c): Customer ==> {
// 実際のプロダクションではここでAPIコールやDB永続化を行う
return new Customer($c->id + 100);
};
$pipeline = new EventPipeline($baseTransformer);
// PremiumCustomerはCustomerのサブタイプであるため、
// ここで共変・反変のルールが正しく機能し、型安全に処理が連鎖する。
$inputUser = new PremiumCustomer(1);
$result = $pipeline->execute($inputUser);
// HHVMの型チェッカーは $result が Customer であることを完全に把握している
\C\tuple($result);
}
このコードが美しい理由（テックレビューの視点）
1. ジェネリクス制約 (`as Entity`) によるドメインの隔離
野良のプリミティブ型を受け渡すのではなく、ドメインモデルの境界を明確にしているため、誤ったオブジェクトがパイプラインに侵入する余地がない。
2. 関数型シグネチャの完全なカプセル化
`pipe` メソッドにおけるクロージャの型推論と合成において、HHVMは中間型を完璧に追跡する。これにより、パフォーマンスを犠牲にすることなく、流れるような（Fluent）APIを実現している。
3. オーバーヘッドのゼロ化
Hackの型チェッカーはコンパイル時にすべての型情報を解決するため、動的言語のような実行時コスト（Runtime Type Checking overhead）が一切発生しない。HHVMのJITコンパイラはこれを最適化し、ネイティブに近い速度でコードを実行する。
—
4. パフォーマンス上の注意点：クロージャとメモリの罠
高階関数や関数型を多用するアーキテクチャにおいて、Webエンジニアが陥りがちな最大の罠が「クロージャによるメモリリークとアロケーションコスト」だ。
- 暗黙のキャプチャ（Capture by Reference/Value）の排除
ラムダ式（`$input ==> …`）内で外部変数を不用意にキャプチャすると、HHVMは裏側でクロージャオブジェクトをヒープ上にアロケートする。高スループットな非同期APIエンドポイントでは、これがGarbage Collector（GC）の負荷を増大させる原因となる。
- 対策
可能な限り、関数に渡すロジックはステートレス（純粋関数：Pure Functions）に保ち、外部スコープへの依存を排除せよ。staticなメソッド参照や、キャプチャを伴わないクロージャを使用することが、HHVMのJIT最適化を最大限に引き出すコツだ。
—
最後に：型は「制約」ではなく「最強のドキュメント」である
「とりあえず `mixed` や `dynamic` にしておけば動く」という甘えは、今日で終わりだ。
Hackの厳格な静的型システム、そしてFunction Typesにおける共変・反変制約を使いこなすことは、バグが入り込む余地を物理的に排除した要塞を築くことに他ならない。コードレビューで私が求めているのは、まさにこのレベルの知見に基づいた設計だ。
あなたの次のプルリクエストから、この厳密な型制約を取り入れてみてほしい。コンパイルエラーの赤い波線が消えた瞬間、あなたのコードは、世界で最も堅牢なPHP/Hackアプリケーションの一部となる。