25

我正在尝试为一种简单的函数式语言制作解析器，有点像 Caml，但我似乎被最简单的东西困住了。

所以我想知道是否有一些更完整的parsec解析器示例，超越“这就是你解析 2 + 3 的方式”。尤其是术语等方面的函数调用。

而且我读过“给你写一个方案”，但方案的语法很简单，对学习没有帮助。

我遇到的最大问题是如何正确使用try，因为我真的不明白为什么 parsec 似乎从来没有使用这个解析器解析为函数调用：<|>choicea(6)

expr = choice [number, call, ident]

number = liftM Number float <?> "Number"

ident = liftM Identifier identifier <?> "Identifier"

call = do
    name <- identifier
    args <- parens $ commaSep expr
    return $ FuncCall name args
    <?> "Function call"

编辑添加了一些完成代码，尽管这实际上不是我问的：

AST.hs

module AST where

data AST
    = Number Double
    | Identifier String
    | Operation BinOp AST AST
    | FuncCall String [AST]
    deriving (Show, Eq)

data BinOp = Plus | Minus | Mul | Div
    deriving (Show, Eq, Enum)

Lexer.hs

module Lexer (
            identifier, reserved, operator, reservedOp, charLiteral, stringLiteral,
            natural, integer, float, naturalOrFloat, decimal, hexadecimal, octal,
            symbol, lexeme, whiteSpace, parens, braces, angles, brackets, semi,
            comma, colon, dot, semiSep, semiSep1, commaSep, commaSep1
    ) where

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

lexer = P.makeTokenParser haskellStyle

identifier = P.identifier lexer
reserved = P.reserved lexer
operator = P.operator lexer
reservedOp = P.reservedOp lexer
charLiteral = P.charLiteral lexer
stringLiteral = P.stringLiteral lexer
natural = P.natural lexer
integer = P.integer lexer
float = P.float lexer
naturalOrFloat = P.naturalOrFloat lexer
decimal = P.decimal lexer
hexadecimal = P.hexadecimal lexer
octal = P.octal lexer
symbol = P.symbol lexer
lexeme = P.lexeme lexer
whiteSpace = P.whiteSpace lexer
parens = P.parens lexer
braces = P.braces lexer
angles = P.angles lexer
brackets = P.brackets lexer
semi = P.semi lexer
comma = P.comma lexer
colon = P.colon lexer
dot = P.dot lexer
semiSep = P.semiSep lexer
semiSep1 = P.semiSep1 lexer
commaSep = P.commaSep lexer
commaSep1 = P.commaSep1 lexer

Parser.hs

module Parser where

import Control.Monad (liftM)
import Text.Parsec
import Text.Parsec.String (Parser)
import Lexer
import AST

expr = number <|> callOrIdent

number = liftM Number float <?> "Number"

callOrIdent = do
    name <- identifier
    liftM (FuncCall name) (parens $ commaSep expr) <|> return (Identifier name)
4

3 回答 3

10

唔，

*Expr> parse expr "" "a(6)"
Right (FuncCall "a" [Number 6.0])

填写完缺失的部分后，这部分对我有用。

编辑：我通过编写自己的解析器来填写缺失的部分float，它可以解析整数文字。另一方面，解析器仅解析带有小数部分或指数的文字，因此无法解析“6 ” float。Text.Parsec.Token

然而，

*Expr> parse expr "" "variable"
Left (line 1, column 9):
unexpected end of input
expecting "("

当解析标识符后调用失败时，输入的那部分被消耗，因此不尝试 ident，并且整体解析失败。您可以 a) 将其try call放入 的选择列表中expr，以便调用失败而不消耗输入，或者 b) 编写解析器 callOrIdent 以在 中使用expr，例如

callOrIdent = do
    name <- identifier
    liftM (FuncCall name) (parens $ commaSep expr) <|> return (Identifier name)

这避免了try，因此可能会表现得更好。

于 2011-11-21T21:44:34.373 回答
2

我写了一系列关于如何用 parsec 解析罗马数字的例子。它非常基本，但您或其他新手可能会发现它很有用：

https://github.com/russell91/roman

于 2014-09-13T20:41:05.773 回答
-2

《在 48 小时内为自己编写一个方案》一书是 Parsec 功能的优秀、深入的概述和教程。它通过深入的示例引导您完成所有内容，最后您已经在 parsec 解释器中实现了相当重要的方案部分。

于 2015-02-20T15:39:30.313 回答