由于我使用了防护装置，我的代码导致解析错误

Question

我有以下代码：

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

当我尝试运行它时，我收到一个错误，说"输入'|'上的解析错误。它说的台词是这样的：

...
(e',ss'') = parseExpr ss'
->            | s == "*" = (Mult e e',ss'') where
(e,ss') = parseExpr ss
...

我想我明白为什么。我想这是因为我上面有两条线没有被警卫屏蔽，当下面突然出现另一个警卫时，哈斯克尔会感到困惑。但是，在这些情况之后，我如何添加额外的警卫呢？

我尝试使用分号来分隔新行，但我对 Haskell 很陌生，因此对它的语法知之甚少。

Answer 1

没有必要使用大括号(当然你可以(。但是您确实需要小心缩进。这并不像乍一看那么难。

话虽如此，您确实不能在受保护的表达式中使用where。在这种情况下，您必须使用let，如下所示：

parseExpr :: [String] -> (Ast,[String])
parseExpr [] = error "Incorrect"
parseExpr (s:ss) | all isDigit s = (Tall (read s),ss)
| s == "-" = let (e,ss') = parseExpr ss in (Min e,ss')
| s == "+" = let (e,ss') = parseExpr ss
(e',ss'') = parseExpr ss'
in (Sum e e',ss'')
| s == "*" = let (e,ss') = parseExpr ss
(e',ss'') = parseExpr ss'
in (Mult e e',ss'')

但是，在您这里的情况下，保护表达式非常简单，可以用模式匹配替换。(建议利用这个机会。模式匹配是你在哈斯克尔最好的朋友。在这种情况下，您可以使用where.

parseExpr :: [String] -> (Ast,[String])
parseExpr [] = error "Incorrect"
parseExpr (s:ss) | all isDigit s = (Tall (read s),ss)
parseExpr ("-":ss) = (Min e,ss') where (e,ss') = parseExpr ss
parseExpr ("+":ss) = (Sum  e e',ss'') where (e, ss' ) = parseExpr ss
(e',ss'') = parseExpr ss'
parseExpr ("*":ss) = (Mult e e',ss'') where (e, ss' ) = parseExpr ss
(e',ss'') = parseExpr ss'