例として、「(3+2*(4+5)+2)+1」のように括弧が多重に含まれる式を正しくパースするにはどのようにすればよいでしょうか?
Expression型のパーサにより、上記のような文字列で与えられた式をラムダ式にパースしたいのですが、Spracheによって括弧をどのように処理すればよいのか見当がつきません
概念的には
・一番優先度の低い演算子を見つけ、左右の項を評価し、演算子を適用するExpressionを返す関数を用意
・左右の項の評価には上記の関数を使用し、再帰的に評価していく
という流れで実装できるのだろうと理解していますが、「(3+2*(4+5)+2)」+「1」という風に適切な位置の演算子を見つける方法がわかりません。
演算子を見つける際に括弧に囲まれた位置の演算子をスキップする方法がわからないため、下記のような括りだし方になってしまいます。
「(3」+「2*(4+5)+2)」
よい方法を教えていただけないでしょうか?
(※一応Spracheを使用せずに自前で書いた実装では上記のような式もパース出来たのですが、より簡便にライブラリを使用した実装を行いたく、Spracheを利用しての実装を試みております。
Spracheの他によい構文解析のライブラリがあればそちらをご教授いただく形でも問題ありません。)