f# - 如何在重复模式之后解析正确的时间？

Question

您将如何使用现有的 FParsec 功能在最右边的标记中查找重复的连续模式？

在这种情况下，这是一种合理的可能性。预解析+转义可能有效，但有更好的解决方案吗？我们是否需要编写一个新的前向组合器，如果需要，它是什么样的？

#r"""bin\debug\FParsecCS.dll"""
#r"""bin\debug\FParsec.dll"""

open FParsec

let str = pstring
let phraseEscape = pchar '\\' >>. pchar '"'
let phraseChar = phraseEscape <|> (noneOf "|\"\r\n]")    // <- this right square bracket needs to be removed
let phrase = manyChars phraseChar

let wrapped = between (str"[[") (str"]]".>>newline) phrase 

run wrapped "[[some text]]\n"  // <- works fine

// !! problem
run wrapped "[[array[] d]]\n"    // <- that means we can't make ']' invalid in phraseChar

// !! problem
run wrapped "[[array[]]]\n"      // <- and this means that the first ]] gets match leaving a floating one to break the parser

Answer 1

很抱歉回答我自己的问题，但是...

请参阅可组合函数phraseTill，以及传递给它的(notFollowedBy(s"]]]")>>.(s"]]"))的挂起解析器

#r"""bin\debug\FParsecCS.dll"""
#r"""bin\debug\FParsec.dll"""

open FParsec

let s = pstring
let phraseChar = (noneOf "\r\n")   
let phrase = manyChars phraseChar
/// keep eating characters until the pend parser is successful
let phraseTill pend = manyCharsTill phraseChar pend

/// when not followed by tipple, a double will truly be the end
let repeatedTo repeatedPtrn ptrn = notFollowedBy(s repeatedPtrn)>>.(s ptrn) 
let wrapped = (s"[[")>>.phraseTill (repeatedTo "]]]" "]]")
run wrapped "[[some text]]]"
run wrapped "[[some text]]"

注意。如果您在 FSharp Interactive (FSI) 中尝试此操作，请确保在将文本发送到 FSI 以进行评估时至少有一个“运行包装”行（即右键单击“在交互式中执行”）。在此示例中，该类型仅在应用程序上被推断/固定。我们本可以提供明确的定义，但可能会更加冗长。