Блог

Итак, у меня есть эта простая функция Haskell:

 fact :: (Num a) => a -> a
fact 0 = 1
fact n = n * fact (n - 1)
  

и когда я пытаюсь скомпилировать ее с помощью GHCi, я получаю сообщение об ошибке:

 test.hs:2:6: error:
    • Could not deduce (Eq a) arising from the literal ‘0’
      from the context: Num a
        bound by the type signature for:
                   fact :: Num a => a -> a
        at test.hs:1:1-25
      Possible fix:
        add (Eq a) to the context of
          the type signature for:
            fact :: Num a => a -> a
    • In the pattern: 0
      In an equation for ‘fact’: fact 0 = 1
Failed, modules loaded: none.
  

Послушайте, я знаю, что существует лучший способ написания этой функции, но мне все равно. Я просто хочу, чтобы эта функция была скомпилирована. Я не могу этого сделать. У меня сложилось впечатление, что если что-то является числом, оно должно быть экземпляром уравнения a , и поэтому предложение компилятора о возможном исправлении неверно.

Как я могу заставить этот код скомпилироваться?

Ваше предположение о том, что тип, который является экземпляром Num , также должен быть экземпляром Eq , является ложным. Рассмотрим предполагаемый тип для вашей функции:

 > fact 0 = 1; fact n = n * fact (n - 1)
> :t fact
fact :: (Num t, Eq t) => t -> t
  

Чтобы быть экземпляром Num , типу нужно только определить следующие функции:

• ( )
• (*)
• abs
• signum
• fromInteger
• либо negate или (-)