[英]Parse Haskell itself with parser combinators
给定由 Parsec、Attoparsec 或各种其他功能实现等库定义的解析器组合器,是否可以自己解析 C 或 Haskell 等语言?
这是我想到的一个例子:
-- constructor defined by its name, and a list of arguments
data Constructor = Constructor String [Type]
-- type definition contains a type name, list of type variables, and a list of constructors
data Type = Type String [Char] [Constructor]
在这个非常简化的示例中,类型的解析可以是:
typeParser :: Parser Type
typeParser = do
string "data"
spaces
name <- takeWhile letters
spaces
typeVars <- many1 letter
...
I noticed that the package http://hackage.haskell.org/package/haskell-src-1.0.3.1 parses the Haskell 98 language, but it does not depend on any of the parser combinator libraries.
一些编程语言,如 Haskell 并不是完全上下文无关的。 这意味着需要一些上下文信息才能解析它们。 Haskell 不是完全上下文无关的,因为它对缩进敏感。
一些 monadic 解析器组合库,如 Parsec 和 Megaparsec 允许更轻松地解析上下文相关的语言。 Parsec 的ParsecT
和Parsec
类型可以跟踪上下文信息,库将其称为“用户状态”,它允许解析语言的上下文敏感部分,如缩进级别。 “用户状态”可以通过getState
、 putState
和modifyState
函数访问。 棘手的部分是混合具有不同类型的“用户状态”的解析器(尽管我目前正在开发 Parsec 的一个分支,以便更容易做到这一点)。
可以使用单子解析器组合器以外的方法,但是它们通常更受限制和/或不太直接,并且可能需要更多变通方法才能使它们工作。 例如,像 Flex/Bison 这样的解析器生成器库可用于解析 Haskell 的上下文无关部分,但需要解决方法来解析上下文相关部分,因为解析器生成器库只能解析上下文无关语言。
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.