Parsec (パーサー)

Parsecは、プログラミング言語Haskellで書かれたパーサーを書くためのライブラリです。^[3]これは高階パーサーコンビネータに基づいており、複雑なパーサーを多くの小さなパーサーから作ることができます。^[4]これは、Erlang、^[5] Elixir、^[6] OCaml、^[7] Racket、^[8] F#、^{[9] [10]}や命令型プログラミング言語C#、^[11] Javaなど、他の多くの言語で再実装されています。^[12]

パーサコンビネータベースのプログラムは一般にパーサジェネレータベースのプログラムよりも遅いため、^[要出典] Parsecは通常、小規模なドメイン固有言語に使用され、HappyはGlasgow Haskellコンパイラ（GHC）などのコンパイラに使用されます。^[13]

Parsecから派生した他のHaskellパーサーコンビネータライブラリには、Megaparsec ^{[14]やAttoparsec [15]}などがあります。

ParsecはBSD-3条項ライセンスの下でリリースされたフリーソフトウェアです。 ^[16]

Parsec で記述されたパーサーは、特定の文字列を認識するような単純なパーサーから始まり、それらを組み合わせてより複雑な動作をするパーサーを構築します。たとえば、 はdigit数字を解析し、 はstring特定の文字列 ( など"hello") を解析します。

Parsec のようなパーサー コンビネータ ライブラリは、実数値に対してパーサーを実行するためのユーティリティ関数を提供します。文字列から 1 つの数字を認識するパーサーは、2 つの関数に分割できます。1 つはパーサーを作成する関数、もう 1 つはパーサーを実行するためにmainこれらのユーティリティ関数の 1 つ (parseこの場合は) を呼び出す関数です。

import Text.Parsec -- 一般的な解析ユーティリティ関数がありますimport Text.Parsec.Char -- 特定の基本コンビネータが含まれていますtype Parser = Stream s m Char => ParsecT s u m String       
  
            

パーサー::パーサーパーサー=文字列"hello"  
   

main :: IO () main = print ( parse parser "<test>" "hello world" ) -- 'Right "hello"' を出力します   
      

Parserの型シグネチャを読みやすくするために、型を定義します。このプログラムを変更して、文字列または文字列 のparserいずれかを読み取るようにしたい場合は、型クラスによって提供される演算子 を使用して、2 つのパーサーを 1 つのパーサーに結合し、次のいずれかを試みます。"hello""goodbye"<|>Alternative

パーサー=文字列"hello" <|>文字列"goodbye"      

• Haskell wiki の Parsec
• Hackage の Parsec
• GitHubのパーセック