Haskell中的解析函数，制作地图函数时遇到麻烦

Question

我是Haskell的新手，正在从事一项工作，我试图为一种简单的计算器语言提供解析功能。

我已经获得了语法，并且不允许更改它。我试图通过遍历字符串并递归使用解析函数来解决它。

语法应该是

Expr -> Int | -Expr | + Expr Expr | * Expr Expr
Int -> Digit | Digit Int 
Digit -> 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9

因此，我的函数将使用Expr语言的字符串作为参数，并以这种格式生成抽象语法树

data Ast = Tall Int | Sum Ast Ast | Mult Ast Ast| Min Ast| Var String deriving (Eq, Show)

Ast应该是抽象的语法树

这就是到目前为止我的解析功能

parseEx :: [String] -> (Ast, [String])
parseEx [] = error "empty string"
parseEx (s:ss) | all isDigit s = (Tall (read s), ss)
               | s == "-"      = let (ast, ss') = parseEx ss in (Min ast, ss') 
               | s == "+"      = let (ast, ss'), let(ast',ss'') = parseEx ss in (Sum ast ast', ss') parseEx ss' (ast', ss'')  
               | s == "*"      = (Mult ast ast', ss'') where
                   (ast, ss'')   = parseEx ss'
                   (ast', ss''') = parseEx ss'' 

我可以清楚地看到带有条件的条件+是错误的，并且那里不能有两个let。同样，我在所有这些清单中迷失了。我当时以为map-函数可以解决我的问题，也许会使我的代码看起来更整洁。但是我不确定如何开始，因为它必须在表格上[String]->Ast。仅仅坚持使用我拥有的代码并尝试使其正常工作会更容易吗？

Answer 1

parseEx根据类型签名只能返回两件事，所以

let (ast, ast', ss') = parseEx ...

没有道理。您需要链中let的S -也就是养活一个绑定到一个解析的输入变量：

let (ast, ss') = parseEx ss
    (ast', ss'') = parseEx ss'
in ...

（请确保对齐let的子句，这在Haskell中很重要！）

注意我们如何ss'将第一次解析的其余部分作为第二次的输入传递。这表示“ AST从中解析出一个ss，然后将剩余的字符串还给我ss'；在其余部分中，解析出另一个AST”。

仔细考虑完整+的表达式后您将返回的余数。

另外，由于此功能相当复杂，因此我建议您随便开发它undefined，以使它一点一点地键入check。例如，以

parseEx :: [String] -> (Ast, [String])
parseEx [] = error "empty string"
parseEx (s:ss) | all isDigit s = (Tall (read s), ss)
               | otherwise     = undefined

编译，修复（修复）并进行测试ghci（解释结果可能需要一些细微的理解undefined和懒惰-但这也会建立这种直觉）。然后执行下一条，编译，测试，冲洗并重复。