TypeScriptをパターンマッチングでシンプルに：TS-Pattern入門

複雑なデータ構造を扱う際、長く複雑なif/elseやswitch文に疲れていませんか？そんなときに便利なのが、軽量ライブラリ「TS-Pattern」です。関数型プログラミングのスタイルでパターンマッチングを実現します。この記事では、パターンマッチングの利点、TS-Patternを使ったコードの書き方、実際の使用例、メリット・デメリット、そして効果的な使い方のコツを紹介します。

なぜパターンマッチングか？

パターンマッチングとは、データ構造に基づいて判断を行うプログラミング手法です。TS-Patternは、直感的で型安全なAPIでパターンマッチングを実現します。データの形状をそのままコードに反映できるため、コードが非常に読みやすく、エラーの可能性も減少します。

以下の例で、従来の方法とTS-Patternを比較してみましょう。

TS-Patternを使わない場合：

function getStatusMessage(status: string): string {
    if (status === "success") {
        return "成功しました！";
    } else if (status === "error") {
        return "エラーが発生しました。";
    } else {
        return "不明なステータスです。";
    }
}

TS-Patternを使った場合：

import { match } from 'ts-pattern';

function getStatusMessage(status: string): string {
    return match(status)
        .with("success", () => "成功しました！")
        .with("error", () => "エラーが発生しました。")
        .otherwise(() => "不明なステータスです。")
}

従来の方法は、条件が増えると管理が難しくなりますが、TS-Patternを使うと、簡潔で読みやすいコードになります。

TS-PatternのAPI概要

TS-Patternの中心はmatch関数です。この関数はパターンマッチングの入り口であり、値とパターンを照合し、該当するアクションを実行します。

import { match } from 'ts-pattern';

// Example using strings
const result = match(valueToMatch)
    .with("pattern1", () => {/* pattern1の処理 */})
    .with("pattern2", () => {/* pattern2の処理 */})
    .otherwise(() => {/* デフォルト処理 */});

.otherwise()を使用すると、どのパターンにも一致しない場合のデフォルト処理を設定できます。

詳細なドキュメントはこちらを参照してください：https://github.com/gvergnaud/ts-pattern

TS-Patternのメリット・デメリット

メリット：

• 可読性：コードが読みやすく、意図が明確

• 表現力：データ構造を直接表現するパターン

• 型安全：TypeScriptの型システムを利用

• 簡潔さ：長い条件分岐を短く記述可能

デメリット：

• 学習曲線：パターンマッチングに慣れるまでに時間がかかる

• 依存性の追加：新しいライブラリ導入による依存関係の増加

効果的な使い方のコツ

• 簡単なケースから始める：基本的なパターンから徐々に複雑なケースへ

• TypeScriptを活用：型推論を最大限利用する

• 直感的なパターンを目指す：データ構造と似た形状のパターンを作成

• 積極的な試行錯誤：さまざまなパターンを試して学ぶ

• 公式ドキュメントを活用：公式のドキュメントをよく読み、理解を深める

まとめ

TS-Patternを使えば、複雑な条件分岐をシンプルで表現力豊かなパターンマッチングに置き換えられます。ぜひTS-Patternを試して、TypeScriptでのパターンマッチングの快適さを体感してください。

参考資料

• TS-Pattern GitHub Repository: https://github.com/gvergnaud/ts-pattern
• TypeScript Handbook — Pattern Matching: https://www.typescriptlang.org/docs/handbook/advanced-types.html#discriminated-unions