こんにちは！Hackの世界へようこそ。
HHVM（HipHop Virtual Machine）とHack言語のコア開発に長年携わってきたシニアエンジニアです。
PHPからのステップアップとしてHackに触れ始めた方や、型安全な言語で堅牢なバックエンドを構築したいと考えている皆さん、型の世界を楽しんでいますか？
「Hackの型チェッカー（`hh_server`）が厳密すぎて、コードが型定義だらけで読みづらくなってしまった…」
「複雑なデータ構造をどうきれいに型付けすればいいのかわからない…」
そんな壁にぶつかったときに絶対に知っておくべき強力な武器が、今回ご紹介する「Type Alias（型エイリアス）」と「Type Refinement（型の洗練・絞り込み）」です。
この2つをマスターすれば、型チェッカーの圧倒的な推論能力をフルに引き出しつつ、コードの可読性を劇的に高めることができます。「ここをクリアすれば、Hackの基本はバッチリマスターできますよ！」という重要なポイントを、HHVMの内部構造や型チェッカーの挙動もほんの少し交えながら、分かりやすく解説していきますね。
—
1. Type Alias（型エイリアス）：複雑な型に「読みやすい名前」をつける
Hackの開発では、連想配列の上位互換である`shape(…)`や、複数種類の値をまとめる`tuple(…)`などを多用します。しかし、これらをそのまま関数の引数や戻り値に書いていると、コードが型定義で埋め尽くされてしまいますよね。
そこで登場するのがType Alias（型エイリアス）です。型に分かりやすい別名（エイリアス）をつける機能です。
Hackの型エイリアスには、実は2つの種類があります。この違いを理解することが第一歩です！
① 透明な型エイリアス (`type`)
外部から「元の型が何か」が完全に見えるエイリアスです。単に長すぎる型定義に読みやすい別名をつける目的で使います。
② 不透明な型エイリアス (`newtype`)
ここがHackの真骨頂です！ エイリアスを定義したファイル内でのみ元の型として扱われ、ファイルの外部からは完全に「独立した新しい型」として扱われます（カプセル化）。
【イメージ図解：`type` と `newtype` の違い】
【透明な型 alias (type)】
[ UserId (int) ] — どこから見てもただの int！ — > 123 と加算できてしまう
【不透明な型 alias (newtype)】
[ File A (定義元) ] : UserId は int として扱える（自由に計算OK）
|
(ファイルの境界線)
v
[ File B (利用側) ] : UserId は「UserId型」という黒く塗られた箱！
ただの int（123）を代入しようとすると型エラー！
では、実際のコード例を見てみましょう。
namespace MyProject\User;
// 1. 透明な型エイリアス (type)
// ユーザー情報の構造体（Shape）に名前をつける
type UserProfile = shape(
‘id’ => int,
‘name’ => string,
‘email’ => ?string, // nullを許容するNullable型
);
// 2. 不透明な型エイリアス (newtype)
// 単なるintではなく「UserId」という厳格なドメイン型を作る
// （※このファイル内でのみ int として扱われます）
newtype UserId as int = int;
class UserManager {
// 型エイリアスを使うことで、シグネチャが圧倒的に読みやすくなります！
public static function createUser(UserId $id, string $name): UserProfile {
return shape(
‘id’ => $id,
‘name’ => $name,
‘email’ => null,
);
}
}
`newtype` を使うと、例えば「ユーザーID」と「商品ID」がどちらも内部的には`int`であっても、誤って混ぜて渡してしまうようなバグを静的解析の段階（コードを実行する前！）で100%防ぐことができるようになります。非常に強力ですよね！
—
2. Type Refinement（型の洗練）：型チェッカーと対話して型を絞り込む
続いて、もうひとつの重要概念であるType Refinement（型の洗練・絞り込み）について解説します。
Hackの型チェッカー(`hh_server`)は非常に賢く、コードの実行フロー（if文やswitch文など）を追跡しています。これをフロー感受性型推論（Flow-sensitive Typing）と呼びます。
広い型（例: `mixed` や `?string`）で受け取った変数を、条件分岐を使って「このブロック内では確実に特定の値である」と型チェッカーに教え込んでいく作業、これが Type Refinement です。
絞り込みには主に `is` 演算子 と `as` 演算子 を使用します。
絞り込みのメカニズム
[ 変数 $data : mixed 型 (何が入っているか不明) ]
|
if ($data is string) {
|
+—> 【この if ブロックの中だけ！】
型チェッカー: 「よし、$data は確実に string だな！」
string のメソッドや関数が安全に呼び出せる
}
実際の動きをコードで確認してみましょう。
<<__EntryPoint>>
function main(): void {
$rawData: mixed = “Hello, Hack!”;
// 1. `is` 演算子による安全な型チェック（Booleanを返す）
if ($rawData is string) {
// このブロック内では $rawData は ‘string’ として扱われます
// strlen() に安全に渡せます！
echo “文字列の長さ: “.Str\length($rawData).”\n”;
} else {
echo “文字列ではありませんでした。\n”;
}
// 2. `as` 演算子による強制アサート（型が合わなければ例外を投げる）
// 開発者が「ここは絶対にintが入ってくるはず」と確信している場合に使います
$maybeInt: mixed = 42;
$concreteInt: int = $maybeInt as int; // 型が一致しなければ TypehintViolationException
echo “数値: {$concreteInt}\n”;
}
—
3. 初学者が陥りやすい！文法エラーと落とし穴
Hackの厳格さゆえに、初心者の方がよく引っかかるポイントを2つ整理しておきますね。あらかじめ知っておけば怖くありません！
落とし穴①：`is` 演算子でジェネリクス（抽象型）を直接チェックしようとする
Hackでは、実行時のパフォーマンスを極限まで高めるため、ジェネリクス（`Vector
// ❌ 間違いの例
function checkList(mixed $input): void {
// エラー！ 実行時に Vector 内の ‘string’ までチェックすることはできません
if ($input is Vector
// …
}
}
// ⭕ 正解の例
function checkList(mixed $input): void {
// ジェネリクスの詳細型を指定せず、コンテナ自体の型だけをチェックします
if ($input is Vector<_>) {
// これならOK！
}
}
落とし穴②：`as` 演算子の乱用による実行時エラー
`as` 演算子は型チェッカーを黙らせる強力なツールですが、「アサートが失敗すると実行時に例外（TypehintViolationException）を投げてプログラムが落ちる」 という性質を持っています。
確実に型が保証されている場合以外は、安易に `$x as string` と書くのではなく、`if ($x is string)` を使って安全に分岐（Refinement）するのが、Webサービスを落とさないためのプロの鉄則になります。
—
4. 実戦テクニック：Type Alias と Refinement を組み合わせる
最後に、実際の開発現場で使える「美しく安全な型定義と型絞り込み」の組み合わせパターンを見てみましょう。APIレスポンスの処理などをイメージすると分かりやすいはずです。
namespace MyProject\Api;
// 1. APIのレスポンス構造を Shape の型エイリアスとして定義
type SuccessResponse = shape(
‘status’ => string, // ‘success’
‘data’ => dict
);
type ErrorResponse = shape(
‘status’ => string, // ‘error’
‘message’ => string,
);
// 2. ２つのレスポンスを結合した型（Union型の代わりとしてShapeを活用）
type ApiResponse = shape(
‘status’ => string,
…
);
class ApiHandler {
public static function handleResponse(ApiResponse $response): void {
// 3. Shapeの特定のキーの値で型を絞り込む（Type Refinement）
if ($response[‘status’] === ‘success’) {
// 成功時の構造にキャスト（安全性が保証されている場合）
$success = $response as SuccessResponse;
echo “成功データ取得: “.Shapes::keyExists($success[‘data’], ‘id’).”\n”;
} else {
$error = $response as ErrorResponse;
echo “エラーが発生しました: {$error[‘message’]}\n”;
}
}
}
このように、Type Aliasで意味のある名前をつけ、処理の中で `is` や `as` （または条件分岐）を使って型を絞り込んでいくのが、Hackにおける最もエレガントで安全なコーディングスタイルになります。
—
まとめ
今回のポイントを復習しましょう！
1. `type` は複雑な型（ShapeやTuple）に名前をつけて読みやすくする（透明）
2. `newtype` はドメイン駆動設計などで特定のファイル内に型を閉じ込める（不透明）
3. `is` / `as` を使うことで、型チェッカー(`hh_server`)に変数の型を納得させ（Refinement）、安全な処理が書ける
型チェッカーは決して「開発者を監視する厳しい敵」ではありません。正しい型エイリアスと型絞り込みを使えば、あなたのコードの安全性を24時間守ってくれる「頼もしい相棒」になってくれます。
ここまでの概念を理解できれば、Hack言語の基本的な型システムはバッチリマスターできたと言って間違いありません！自信を持って、さらに高度なHackプログラミングを楽しんでくださいね。