誰かがFParsecでchainl1を使用する例を挙げることはできますか？

Question

これはFParsecのすべての中で最も不可解コンビネータです...

http://www.quanttec.com/fparsec/reference/primitives.html#members.chainl1 ...しかし、上の任意のWebページ上で、私の知る限り、ドキュメントで使用したりする方法についての例はありませんインターネット。私はそれを必要とするような左回帰分析を持っていますが、私の人生のために、どのように呼び出すか、何に渡すべきかを理解することはできません。

ここで私は（私自身のC＃コードから）chainl1を含むいくつかのきれいな図を持っている:)

Answer 1

助けてください：

http://lorgonblog.wordpress.com/2007/12/04/monadic-parser-combinators-part-three/

Answer 2

を私はの終わりに一緒にFParsecでの単純な式パーサを置きますthis unrelated post。ここでは、chainl1を使用して、オペランドと演算子のパーサから連鎖演算子式のパーサを作成する方法を示します。

(* fop : (double -> double -> double) -> (env -> double) -> (env -> double) -> env -> double *) 
let fop op fa fb env = fa env |> op <| fb env 
(* Parse single operators - return function taking two operands and giving the result *) 
let (addop : Parser<_,unit>) = 
    sym "+" >>% fop (+) 
    <|> (sym "-" >>% fop (-)) 
(* term, expr - chain of operators of a given precedence *) 
let term = chainl1 atom mulop 
let expr = chainl1 term addop