Question

我是F＃的新手并且有一个非常讨厌的问题。我想解析以下语法：

Application := Expression Expression
Expression  := "(" "lambda" Name "." Application ")"
             | Name
Name        := [a-z]+

这会匹配(lambda x. (lambda y. x y)) z和(lambda x. x) y等内容。

我的问题是两个规则相互依赖：

let popen = pchar '('
let pclose = pchar ')'
let pname = many1 letter |>> Seq.toArray |>> System.String |>> NameNode
let plambda = pstring "lambda"
let pdot = pchar '.'
let phead = plambda >>. pname .>> pdot
let pexpression = 
        popen >>. pname .>>. papplication .>> pclose |>> ExpressionNode
    <|> pname
let papplication = pexpression .>>. pexpression

pexpression取决于papplication和恶意者。我怎样才能摆脱这种依赖？

Answer 1

递归解析器可以通过createParserForwardedToRef实现。这个函数返回一对解析器＆＃34; handle＆＃34;，可以这么说，以及一个包含解析器实现的可变单元。＆＃34;句柄＆＃34;一旦被要求实际解析某些内容，就会将调用转发给实现。

获取此对后，您可以使用＆＃34; handle＆＃34;来实现递归的其他部分，然后创建转发解析器的实现并将其分配给可变单元。

let pexpression, pexpressionImpl = createParserForwardedToRef()
let papplication = pexpression .>>. pexpression
pexpressionImpl := 
       popen >>. pname .>>. papplication .>> pclose |>> ExpressionNode
   <|> pname

一个简单的lambda演算解析器，带有FParsec

1 个答案: