如何在 Haskell 函数中使用错误？

Question

我正在使用 GHCI 7.10.3，但在一个简单的代码中出现错误。

我想做这样的事情：

fatorial n
    | n == 0  = 1
    | n > 0 = n * fatorial(n-1)
    | otherwise = error "My error"

但是当fatorial -4被调用时，输出是：

:21:1: 约束中的非类型变量参数：Num (a -> a) （使用 FlexibleContexts 来允许这样做） 检查“它”是否具有推断类型时 它 :: forall a. (Num a, Num (a -> a), Ord a) => a -> a

我的代码没有最后一行就可以正常工作。那么如何在haskell中使用错误信息呢？

Answer 1

这个错误是一个类型错误，所以这意味着 Haskell 认为你写的东西没有意义（从类型系统的角度来看）。

它将- 解释为“二元减号运算符”，例如：

--         v operator
factorial  -  4
-- ^  operand ^ 

所以 Haskell 认为你想从 factorial 中减去 4，但它没有看到 factorial 是 Number，因此出现了错误。严格来说，一个可以制作函数Numbers，只要实现Num typeclass（以及Eq和Show类型类）就可以了。

如果你想在这样的函数调用中使用负数字面量，你需要使用括号，比如：

factorial <b>(-4)</b>

这会产生：

Prelude> fatorial (-4)
*** Exception: My error
CallStack (from HasCallStack):
  error, called at <interactive>:5:19 in interactive:Ghci1

所以现在它提高了你的error "My error"（见第一行输出）。