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值的值。

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

Haskell类型签名错误

1 个答案: