他に質問する方法がよくわかりません。ここで一般的なガイダンスが必要だと思います。私はこのようなものを持っています：
expr = buildExpressionParser table term
<?> "expression"
term = choice [
(float >>= return . EDouble)
, try (natural >>= return . EInteger)
, try (stringLiteral >>= return . EString)
, try (reserved "true" >> return (EBool True))
, try (reserved "false" >> return (EBool False))
, try assign
, try ifelse
, try lambda
, try array
, try eseq
, parens expr
]
<?> "simple expression"
ただし、そのパーサーをテストすると、ほとんどの場合問題が発生します...解析しようとしたときのように
(a,b) -> "b"
それはパーサーによって受け入れられますlambdaが、exprパーサーはそれを嫌います。そして時にはそれは永遠のルールに完全にハングアップすることさえあります。
Write Yourself a Schemeを読みましたが、Schemeの同種のソースのみを解析します。
多分私は一般的に間違った方向に考えています。
編集：ここで内部パーサー：
assign = do
i <- identifier
reservedOp "="
e <- expr
return $ EAssign i e
ifelse = do
reserved "if"
e <- expr
reserved "then"
a <- expr
reserved "else"
b <- expr
return $ EIfElse e a b
lambda = do
ls <- parens $ commaSep identifier
reservedOp "->"
e <- expr
return $ ELambda ls e
array = (squares $ commaSep expr) >>= return . EArray
eseq = do
a <- expr
semi <|> (newline >>= (\x -> return [x]))
b <- expr
return $ ESequence a b
table = [
[binary "*" EMult AssocLeft, binary "/" EDiv AssocLeft, binary "%" EMod AssocLeft ],
[binary "+" EPlus AssocLeft, binary "-" EMinus AssocLeft ],
[binary "~" EConcat AssocLeft],
[prefixF "not" ENot],
[binaryF "and" EAnd AssocLeft, binaryF "or" EAnd AssocLeft]
]
そして、「それを嫌う」とは、整数または浮動小数点を期待していることを意味します。