【実務・中級編】Type Aliasで定義する「関数型プログラミング」の合成パターン – TypeScript コア・型システムの基礎解析バイブル

/

• pipe の実効実装
• 内部動作は軽量な JavaScript の Array.prototype.reduce に収束させる。

/
export function pipe(…fns: UnaryFn[]): UnaryFn {
return (initialValue: any) =>
fns.reduce((acc, fn) => fn(acc), initialValue);
}

—

4. 実務への応用：非同期API・バリデーション・UIデータ整形パイプライン

上記のパイプラインを用い、WebフロントエンドやNode.jsバックエンドで日常的に発生する「外部APIから取得したデータのバリデーション・マッピング処理」を完全に型安全に構築します。

ここでは、例外を throw せずにエラーを扱う `Result` パターン を Type Alias で構築し、パイプラインに組み込みます。

コピペで動く完全なプロダクションコード例

// ============================================================================
// 1. ドメイン型及びユーティリティ Type Alias の定義
// ============================================================================

/ 成功または失敗を表す代数的データ型 (Discriminated Union) /
export type Result =
| { readonly ok: true; readonly value: T }
| { readonly ok: false; readonly error: E };

// Result型のファクトリ関数
export const Result = {
ok: (value: T): Result => ({ ok: true, value }),
fail: (error: E): Result => ({ ok: false, error }),
};

/ APIからの生のレスポンス型（アンセーフな入力データ） /
export type RawUserPayload = {
user_id: string;
first_name?: string;
last_name?: string;
email_address?: string;
roles?: string[];
};

/ ドメインモデル（アプリ内で信頼できる型） /
export type User = {
readonly id: string;
readonly fullName: string;
readonly email: string;
readonly isAdmin: boolean;
};

/ フロントエンドのコンポーネント用表示型 /
export type UserCardViewModel = {
readonly id: string;
readonly displayName: string;
readonly badgeText: string;
};

// ============================================================================
// 2. パイプラインを構成する純粋関数群（各関数は UnaryFn に適合する）
// ============================================================================

/ ステップ1: 生データのバリデーション /
export type ValidateFn = UnaryFn>;

export const validatePayload: ValidateFn = (raw) => {
if (!raw.user_id || !raw.email_address) {
return Result.fail(new Error(“必須フィールド (user_id, email_address) が不足しています。”));
}
return Result.ok(raw);
};

/ ステップ2: ドメインモデルへの変換 (Resultを扱う高階関数) /
export type BindFn = UnaryFn< Result,
Result
>;

/ Resultの文脈を維持したまま処理を適用する高階関数ファクトリ /
export const flatMapResult =
(fn: (val: A) => Result): BindFn =>
(result) => {
if (!result.ok) return result; // エラーなら処理をスキップ（バイパス）
return fn(result.value);
};

/ 生ペイロードから User ドメインモデルを生成する内部ロジック /
const rawToUser = (raw: RawUserPayload): Result => {
const firstName = raw.first_name ?? “”;
const lastName = raw.last_name ?? “”;
const fullName = `${lastName} ${firstName}`.trim() || “名無しユーザー”;

return Result.ok({
id: raw.user_id,
fullName,
email: raw.email_address!,
isAdmin: Array.isArray(raw.roles) && raw.roles.includes(“ADMIN”),
});
};

/ ステップ3: UI表示用 ViewModel への最終マッピング /
export type MapResultFn = UnaryFn< Result,
Result
>;

export const mapResult =
(fn: (val: A) => B): MapResultFn =>
(result) => {
if (!result.ok) return result;
return Result.ok(fn(result.value));
};

const userToViewModel = (user: User): UserCardViewModel => ({
id: user.id,
displayName: `${user.fullName} (${user.email})`,
badgeText: user.isAdmin ? “管理者” : “一般ユーザー”,
});

// ============================================================================
// 3. パイプラインの合成と実行
// ============================================================================

/

• RAWデータを入力として受け取り、バリデーションとドメイン変換を経て ViewModel の Result を返す
• pipe 内の各関数の型シグネチャがシームレスに合致しているため、型推論が一切途切れない。

/
export const processUserData = pipe(
validatePayload,
flatMapResult(rawToUser),
mapResult(userToViewModel)
);

// —————————————————————————-
// 実行例と動作確認
// —————————————————————————-

// 成功ケースの検証
const validRawData: RawUserPayload = {
user_id: “usr_12345”,
first_name: “太郎”,
last_name: “山田”,
email_address: “yamada@example.com”,
roles: [“ADMIN”, “MEMBER”],
};

// typeof result1 は Result として推論される
const result1 = processUserData(validRawData);

if (result1.ok) {
console.log(“SUCCESS:”, result1.value.displayName);
// 出力: “SUCCESS: 山田 太郎 (yamada@example.com)”
console.log(“BADGE:”, result1.value.badgeText);
// 出力: “BADGE: 管理者”
} else {
console.error(“ERROR:”, result1.error.message);
}

// 失敗ケースの検証（バリデーションエラー）
const invalidRawData: RawUserPayload = {
user_id: “”, // 不正なデータ
email_address: “invalid@example.com”,
};

const result2 = processUserData(invalidRawData);

if (!result2.ok) {
console.error(“FAILED EXPECTEDLY:”, result2.error.message);
// 出力: “FAILED EXPECTEDLY: 必須フィールド (user_id, email_address) が不足しています。”
}

—

5. テクニカルリード視点でのコードレビューの助言

このパターンをチームに浸透させる際、以下のポイントをコードレビューの基準として提示してください。

① 関数の引数は「原則1つ（Unary）」に強制せよ

複数引数を取る関数は、カリー化（Currying）またはオブジェクト型（Options Pattern）にまとめて `UnaryFn` の形に落とし込ませます。これにより、`pipe` への組み込みが容易になり、型推論の曖昧さが排除されます。

② 無闇に型引数（Generics）を関数の内部に隠蔽するな

高階関数を定義する際、ジェネリックパラメータを戻り値の型エイリアスに正しく伝播させることが重要です。

// ❌ 悪い例: 戻り値の型推論コンテキストを破棄している
const badMapper = (fn: Function) => (input: any) => fn(input);

// ✅ 良い例: Type Alias を使用し、入力 A と出力 B の関係性を厳密に保持
const goodMapper = (fn: UnaryFn): UnaryFn => (input: A) => fn(input);

③ `tsc` のコンパイラパフォーマンスに配慮せよ

一見美しく見える「再帰的条件付き型（Recursive Conditional Types）」を使った無制限の `pipe` 型定義は、プロジェクトが大きくなると型チェック速度を劇的に低下させます。実務では 8〜10程度のオーバーロード定義 で打ち切る設計が、ビルド速度と開発体験（DX）のバランスにおいて最適解です。

—

結論

TypeScriptにおける `Type Alias` は、単なる型の別名ではありません。関数の数学的入力と出力を型システム上で正確にモデル化し、堅牢なパイプラインを構築するための強力なビルディングブロックです。

1. 関数型シグネチャには `interface` ではなく `type` を選ぶ。
2. 型推論を壊さないため、単項関数 `UnaryFn` を基本単位とする。
3. エラー処理や状態伝播は `Result` などの Discriminated Union と高階関数でパイプラインに溶け込ませる。

この原則を守ることで、あなたのチームのコードベースから `any` と型アサーション（`as`）は撲滅され、変更に強く、コンパイラに守られた本物の「型安全な関数型プログラミング」が実現します。