辅助函数中的 Haskell 解析错误

Question

我刚刚学习 Haskell，我决定尝试编写自己的 pred 版本，它返回其参数前面的数字。我正在使用 WinGHCi 并加载一个名为 test.hs 的文件。这是我的代码：

prev :: (Num a) => a -> a
prev x = prev' 0 x
  where prev' y z
    | (succ y) == z = y
    | otherwise = prev' (succ y) z

我得到错误：

test.hs:4:5:
    parse error (possibly incorrect indentation or mismatched brackets)

---

如何正确编写一个带守卫的辅助函数？

Answer 1

你的模式守卫需要更深的缩进——它们需要比prev'定义中的p更靠右。这个版本不给出解析错误：

prev :: (Num a) => a -> a
prev x = prev' 0 x
  where prev' y z
            | (succ y) == z = y
            | otherwise = prev' (succ y) z

不过，您仍然会遇到类型错误 — 需要更多类型类约束。