为什么这给了我"是一个严格的类型变量绑定"错误

Question

heist :: (Num n) => [n] -> [n] -> n -> n
-- heist [] [] _ = 0
heist w v maxw = func w v i j where
    i = length w
    j = maxw  
func :: (Num n) => [n] -> [n] -> n -> n -> n 
func _ _ 0 0 = 0

上面的代码给了我:

Heist.hs:15:27:
    Could not deduce (n ~ Int)
    from the context (Num n)
      bound by the type signature for
                 heist :: Num n => [n] -> [n] -> n -> n
      at Heist.hs:(15,1)-(17,16)
      `n' is a rigid type variable bound by
          the type signature for heist :: Num n => [n] -> [n] -> n -> n
          at Heist.hs:15:1
    In the third argument of `func', namely `i'
    In the expression: func w v i j
    In an equation for `heist':
        heist w v maxw
          = func w v i j
          where
              i = length w
              j = maxw

为什么会这样？

我一寸一寸地绕着Haskell型系统缠绕我的脑袋

Answer 1

length总是会回来的Int.通过传递i给func你说n应该是Int,但heist希望n是通用的,因此类型错误.

Answer 2

length返回Int; 用i = Data.List.genericLength w或i = fromIntegral (length w).