Haskell中Parsec的“电池”

Question

我是Haskell的新手，我一直在尝试使用Parsec作为练习来编写JSON解析器。 这大部分进展顺利，我能够用相对较少的代码解析列表和对象，这些代码也是可读的（太棒了！）。 但是，对于JSON，我还需要解析像这样的原语

• 整数（可能已签名）
• 浮动（可能使用科学记数法，如“3.4e-8”）
• 带有例如转义引号的字符串

我希望找到准备使用解析器作为Parsec的一部分。 我得到的最接近的是Parsec.Tokens模块（定义integer和朋友），但是这些解析器需要一个“语言定义”，这似乎超出了解析像JSON这样简单的东西 - 它似乎是设计的用于编程语言。

所以我的问题是：

1. Parsec.Token中的函数是正确的方法吗？ 如果是这样，如何制作合适的语言定义？

2. 整数等“原始”解析器是否定义在其他地方？ 也许在另一个包裹？

3. 我自己应该写这些低级解析器吗？ 我可以看到自己经常重复使用它们......（模糊的科学数据格式等）

我注意到这个网站上的一个问题说Megaparsec包含了这些原语[1]，但我想这些不能和parsec一起使用。

相关问题：

如何让Parsec让我调用`read` :: Int？

如何使用parsec解析Integer

Answer 1

Parsec.Token中的函数是正确的方法吗？

对，他们是。 如果您不关心语言定义指定的细节 （即您不打算使用依赖于它们的解析器，例如identifier或reserved ），只需使用emptyDef作为默认值：

import Text.Parsec
import qualified Text.Parsec.Token as P
import Text.Parsec.Language (emptyDef)

lexer = P.makeTokenParser emptyDef

integer = P.integer lexer

正如您所指出的，这对您的用例来说是不必要的笨拙。 值得一提的是， megaparsec （参见Alec的建议 ）提供了一个没有仪式的相应integer解析器。 （另一方面， megaparsec不会尝试烘焙支持例如保留字，但在您实际需要的情况下实现并不困难 。）