Haskell：無法將期望的類型“ IO t0”與實際類型“ Integer”匹配

Question

當嘗試編譯我的代碼時，我得到：

[1 of 1] Compiling Main             ( survey2.hs, survey2.o )

survey2.hs:20:1:
    Couldn't match expected type ‘IO t0’ with actual type ‘Integer’
    In the expression: main
    When checking the type of the IO action ‘main’

我嘗試弄亂指定輸入到main中的“ 9”為一堆不同的類型，包括IO，IO t，IO t0，int等。我了解，根據我在其他地方的函數定義，如果沒有將Integer輸入到該函數中，則其他任何函數均無法正常工作。 我不確定如何將適當的類型放入主體。

factorial:: Integer -> Integer
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 :: Integer -> Integer
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

如果main在主模塊中（通常稱為Main ），則它必須具有IO a類型（通常是IO () ）。

由於bell 9類型為Integer因此類型不匹配。 您需要使用以下命令打印Integer print :: Show a => a -> IO () Integer ：

main = print (bell 9)

請注意， (/)不適用於Integer ，您需要改用div ：

| otherwise = factorial(n) `div` (factorial(n-k) * factorial(k))