如何解析无序语法

html5 • • 问答 

newtype Program = Program [Global] [Function]

我正在 Haskell 中使用类 C 语法解析源文件，其中全局变量和函数位于顶层。如果它们必须按顺序出现，例如，在所有全局变量之后的函数，解析起来很简单。但它们可以按任何顺序出现，如下所示。如何处理这样的语法？

全球0

函数0

全球1

功能1

功能2

全球2

似乎可以使用 Parsec.Perm 之类的东西，但是当所有选择返回相同类型（十进制）时，该示例有效，而我的情况则返回Global或Function。

回答

您不需要排列解析器。简单的旧many就好了。您可以使用Either暂时使它们相同类型，然后partitionEithers将它们拆分回来。

uncurry Program . partitionEithers
    <$> many (  (Left  <$> parseGlobal)
            <|> (Right <$> parseFunction)
             )

编辑：或者，您可以将它们全部设为Programs，然后将它们组合起来。就像是

instance Monoid Program where mempty = Program [] []
instance Semigroup Program where
    Program gs fs <> Program gs' fs' = Program (gs <> gs') (fs <> fs')

global x = Program [x] []
function x = Program [] [x]

然后使用：

fold <$> many ((global <$> parseGlobal) <|> (function <$> parseFunction))

非常相似的程序结构，但也许其中一个更能吸引您。

以上是如何解析无序语法的全部内容。
THE END
分享
二维码
< <上一篇
下一篇>>