编写我的第一个Haskell函数的问题

Question

我是Haskell的新手，我的代码不会编译。

multipleSum :: Int -> Int 
multipleSum x = let recSum 0 b = b 
        recSum a b | a mod 3 == 0  = recSum a-1 b+a 
           | a mod 5 == 0  = recSum a-1 b+a 
           | otherwise  = recSum a-1 b 
       in recSum x 0 

这些是我得到的两个错误，第一个出现在第3行，第2个出现在第6行。我做错了什么？ （该功能应该是3的倍数和5以下n个总和）

1. 
Occurs check: cannot construct the infinite type: a ~ a -> a -> a 
Expected type: (a -> a -> a) -> a -> a 
    Actual type: ((a -> a -> a) -> a -> a) -> (a -> a -> a) -> a -> a 
Relevant bindings include 
    b :: (a -> a -> a) -> a -> a 
    (bound at src\Main.hs:5:30) 
    a :: (a -> a -> a) -> a -> a 
    (bound at src\Main.hs:5:28) 
    recSum :: ((a -> a -> a) -> a -> a) 
      -> ((a -> a -> a) -> a -> a) -> (a -> a -> a) -> a -> a 
    (bound at src\Main.hs:4:21) 
In the first argument of `(-)', namely `recSum a' 
In the first argument of `(+)', namely `recSum a - 1 b' 


2.Couldn't match expected type `(a0 -> a0 -> a0) -> a0 -> a0' 
      with actual type `Int' 
In the first argument of `recSum', namely `x' 
In the expression: recSum x 0 

Couldn't match expected type `Int' 
      with actual type `(a0 -> a0 -> a0) -> a0 -> a0' 
Probable cause: `recSum' is applied to too few arguments 
In the expression: recSum x 0 
In the expression: 
    let 
    recSum 0 b = b 
    recSum a b 
     | a mod 3 == 0 = recSum a - 1 b + a 
     | a mod 5 == 0 = recSum a - 1 b + a 
     | otherwise = recSum a - 1 b 
    in recSum x 0 

Answer 1

您有两个与语法有关的问题。第一个与函数和运算符优先级有关。函数应用程序在Haskell中的优先级最高，所以recSum a-1 b+a被视为与(recSum a)-(1 b)+a相同。相反，您需要编写recSum (a-1) (b+a)。

第二个问题是a mod 3是函数a调用参数mod和3。要使用mod作为infix operator，把它写成

a `mod` 3 

把这些改变都在一起，我们不得不

multipleSum :: Int -> Int 
multipleSum x = let recSum 0 b = b 
        recSum a b | a `mod` 3 == 0 = recSum (a-1) (b+a) 
           | a `mod` 5 == 0 = recSum (a-1) (b+a) 
           | otherwise  = recSum (a-1) b 
       in recSum x 0 

Answer 2

的第一件事是，更多类型的签名，你可以得到的，就越容易调试，所以我把它改写作为

multipleSum :: Int -> Int 
multipleSum x = recSum x 0 

recSum :: Int -> Int -> Int 
recSum 0 b = b 
recSum a b | a mod 3 == 0  = recSum a-1 b+a 
      | a mod 5 == 0  = recSum a-1 b+a 
      | otherwise  = recSum a-1 b 

并以ghci或拥抱开火。

这样我得到一个关于a mod 3的错误。

OK，好，我有写反引号与缀功能，所以这应该是

recSum :: Int -> Int -> Int 
recSum 0 b = b 
recSum a b | a `mod` 3 == 0  = recSum a-1 b+a 
      | a `mod` 5 == 0  = recSum a-1 b+a 
      | otherwise  = recSum a-1 b 

有关的论点recSum a-1 b+a数量现在我得到的错误。这是因为应该只有两个，所以我需要支架，如果我要传递的东西多单变量比较复杂，所以我应该写

recSum :: Int -> Int -> Int 
recSum 0 b = b 
recSum a b | a `mod` 3 == 0  = recSum (a-1) (b+a) 
      | a `mod` 5 == 0  = recSum (a-1) (b+a) 
      | otherwise  = recSum (a-1) b -- don't need brackets for b on its own 

现在，它的编制，它的时间有各种测试一下看看它是否能达到预期的效果。