Haskell类型签名错误

Question

我的功能不起作用。 我尝试了很多不同的Type签名。 如果我删除了类型签名，则它不能用点号作为“p”。

fak :: (Num a, Ord a) => a->a
fak x
    | x <= 1 = 1
    | otherwise = x*fak (x-1)

ncr :: Integral a => a -> a -> a
ncr n k = (fak n) `div` (fak(n-k) * fak k)

bTable :: (Integral a, Num b) => a->b->a->a 
bTable n p k = (ncr n k) * p^k * (1-p)^(n-k)

推断类型不够通用

*** Expression    : bTable
*** Expected type : (Integral a, Num b) => a -> b -> a -> a
*** Inferred type : (Integral a, Num a) => a -> a -> a -> a

如果我删除Type Signature，我会得到：

:t bTable
bTable :: Integral a => a -> a -> a -> a

但如果我进入：

bTable 50 0.8 10

我明白了

Unresolved overloading
*** Type       : (Fractional a, Integral a) => a
*** Expression : bTable 50 0.8 10

Answer 1

使用fromIntegral将ncr的返回值转换为可以与Num a => a值相乘Num a => a值。

bTable n p k = fromIntegral (ncr n k) * p^k * (1-p)^(n-k)

请注意，此函数的推断类型是

bTable :: (Num a, Integral b) => b -> a -> b -> a

这与您尝试的声明类型略有不同（重命名约束以与上面的类型进行比较）

bTable :: (Num a, Integral b) => b -> a -> b -> b