使用 FParsec 解析方法参数

Question

我正在尝试使用 FParsec 实现方法参数解析器。

我想知道 FParsec 本身是否有一些已经实现的功能可以帮助我实现此目的？我问这个问题是因为 FParsec 在处理运算符优先级时提供了工具，所以可能也有一些东西可以解决这个问题。

---

解析左大括号和右大括号非常简单。令人头痛的是处理以下可能发生的 3 种情况：

方法参数可以由：

• 无参数、
• 一个参数、
• 多个参数（所有参数均以逗号分隔）组成。请记住，最后一个参数前面不能有逗号！

---

我已经有了一些关于如何自己实现这一点的线索，以防没有任何内置功能，即使用 <|>运算符和流复制，但如果可能的话，我想远离那种低级的东西。

Answer 1

我相信您想使用 sepBy。

type AST =
| Arguments of AST list
| Argument of string * string

let parseArguments =
    spaces 
    >>. pchar '(' 
    >>. spaces 
    >>. sepBy parseArgument (pchar ',') 
    .>> spaces 
    .>> pchar ')' 
    |>> Arguments

由 devoured_elysium 编辑：

上面的代码虽然不能编译，但是正确的。我将在这里发布我的编译版本，这样如果有人只是想尝试一下代码，他们就可以做到。

type AST =
| Arguments of AST list
| Argument of string

let parseArguments =
    spaces 
    >>. pchar '(' 
    >>. spaces 
    >>. sepBy (many1Satisfy isLetter |>> Argument) (pchar ',')
    .>> spaces 
    .>> pchar ')'
    |>> Arguments

test parseArguments "(a,b,c)" //succeed
test parseArguments "(a,b,c,)" //fail