Bell数的Haskell实现

Question

我正试图在Haskell中实现一个铃号查找器+求和器。我很有信心我的方法是正确的，但是我在编译时遇到了一些错误。我当前的错误消息是：

[1 of 1] Compiling Main             ( survey2.hs, survey2.o )
survey2.hs:5:14:**
    Expected a constraint, but ‘Integer’ has kind ‘*’
    In the type signature for ‘binomial’:
      binomial :: (Integer, Integer) => Integer

survey2.hs:15:12:
    Expected a constraint, but ‘Integer’ has kind ‘*’
    In the type signature for ‘bellSum’: bellSum :: Integer => Integer**

我对haskell完全陌生，对函数式语言也完全陌生。基于这个错误，我尝试更改我的“函数定义”(或者您在Haskell中称之为函数定义)，但我似乎只会导致更多的错误。

程序的最终目标是打印铃号0-9的和。

factorial n
  | n <= 1    = 1 
  | otherwise =  n * factorial(n-1)

binomial :: (Integer, Integer) => Integer
binomial n k 
  | k > n     = 0 
  | k < 0     = 0 
  | otherwise = factorial(n) / factorial(n-k) * factorial(k)

bell n
  | n <= 1    = 1 
  | otherwise = sum [ binomial (n-1, k-1)  * bell (k-1) | k<-[0..n-1] ] 

bellSum :: Integer => Integer  
bellSum n = sum [ bell(k) | k<-[0..n] ]

main = bell(9 :: Integer)

Answer 1

注意，这是不一致的(=>应该是->)

binomial :: (Integer, Integer) -> Integer
binomial n k 

要么更改为

binomial :: Integer -> Integer -> Integer
binomial n k 

或

binomial :: (Integer, Integer) -> Integer
binomial (n, k)

对于您来说，另一个提示是，您可以不使用阶乘函数(甚至乘法)计算二项式。

binomial n k | k==0 || k==n = 1
             | k==1 = n
             | otherwise = binomial (n-1) (k-1) + binomial (n-1) k

这仍然是非常低效的，但可以回忆录。