gpt4 book ai didi

haskell - 使用解析器组合器解析 Haskell 本身

转载 作者:行者123 更新时间:2023-12-04 10:17:27 27 4
gpt4 key购买 nike

给定由 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
...

我注意到包 http://hackage.haskell.org/package/haskell-src-1.0.3.1解析 Haskell 98 语言,但它不依赖于任何解析器组合器库。

最佳答案

TL;DR 是的,您可以使用像 Parsec 这样的单子(monad)解析器组合器库来解析 Haskell。

Haskell 等一些编程语言并不是完全上下文无关的。这意味着需要一些上下文信息才能解析它们。 Haskell 不是完全上下文无关的,因为它对缩进敏感。

一些 monadic 解析器组合器库,如 Parsec 和 Megaparsec 允许更轻松地解析上下文相关的语言。 Parsec 的 ParsecTParsec 类型可以跟踪上下文信息,库将其称为“用户状态”,它允许解析语言的上下文敏感部分,如缩进等级。 “用户状态”可以通过 getStateputStatemodifyState 函数访问。棘手的部分是混合具有不同类型“用户状态”的解析器(尽管我目前正在开发 Parsec 的一个分支,它可以更容易地做到这一点)。

可以使用 monadic 解析器组合器以外的方法,但是它们通常更受限制和/或更不直接,并且可能需要更多变通方法才能使它们工作。例如,像 Flex/Bison 这样的解析器生成器库可以用来解析 Haskell 的上下文无关部分,但是需要一个变通方法来解析上下文敏感的部分,因为解析器生成器库只能解析上下文无关的语言。

关于haskell - 使用解析器组合器解析 Haskell 本身,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/61010321/

27 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com