解析とは、生のテキストのような構造化されていない入力を、オブジェクトやリストのような構造化されたデータに変換するプロセスです。単純なタスクには正規表現（regex）が一般的ですが、複雑な構造に対しては管理が困難になることがよくあります。逆に、tree-sitterのような重量級のライブラリは、多くのアプリケーションにとって過剰なものになる場合があります。パーサコンビネータは関数型の代替手段を提供し、開発者が小さく特化した関数を組み合わせることで、複雑な解析ロジックを構築することを可能にします。
この画像は、HTMLのような複雑な構造に対して正規表現が管理不能になるポイントを説明しています。
このアプローチの中核にあるのは「部分パーサ（partial parser）」です。部分パーサは、文字列を入力として受け取り、正常に抽出されたデータの一部と、残りの文字列を含むタプルを返す関数です。例えば、整数を識別するように設計されたパーサは、文字列の先頭をスキャンして数字を抽出し、残りの文字列をチェーン内の次の関数に渡します。これらの関数を「チェイン」する（ある関数の出力が次の関数の入力になる）ことで、開発者は文字列全体をステップごとに消費することができます。このプロセスは、概念的には関数型プログラミングにおける「unfold」に似ています。これは、多くのものを一つにまとめる「fold（またはreduce）」とは対照的に、中間状態を使用して一つのものを多くのものに分割する手法です。
この手法の真の力は「コンビネータ」にあります。これはパーサを引数として受け取り、より複雑な新しいパーサを返す関数です。例えば、シーケンスコンビネータは3つの個別のパーサを受け取り、それらを順番に実行する単一の関数にラップすることができます。これにより、挨拶の後に数字が続くものを特別に探すパーサのような、高レベルな抽象化が可能になります。さらに、マッピングコンビネータを使用することで、解析プロセス自体中に、抽出された生のデータを特定のオブジェクト（JSONスタイルの辞書など）に変換することもできます。このアプローチは、個別の文法ファイルを使用するパーサジェネレータと比較して、時としてより多くの「アンラッピング」コードを必要とすることがありますが、単純でテスト可能なユニットから複雑なロジックを構築するための、非常にモジュール性が高く読みやすい方法を提供します。
この手動アプローチの実用的な制限の一つは、型の管理の複雑さです。特にTypeScriptのような言語では、シーケンスのための可変型（variadic types）を表現するのが難しい場合があります。さらに、コンビネータは非常に柔軟ですが、開発者が操作のシーケンスを手動で定義する必要があり、形式的な文法から解析ロジックを自動的に導き出すジェネレータよりも効率が低い場合があります。しかし、多くの中間的なタスクにおいて、パーサをビルディングブロックのように構成できる能力は、構造化されたデータを処理するための明確で保守しやすい経路を提供します。