haskell - 如何设置具有两个参数的递归函数的初始条件 (Haskell)

Question

这个问题已经有答案了:

Pattern matching equality on tuples in Haskell (2 个回答)

已关闭 6 年前。

我正在学习Learn You a Haskell For Great Good，并尝试解决递归章节的一些示例问题。

我正在尝试编写一个函数，它接受下限“a”和上限“b”，并返回其间所有数字的总和(包括)。

我最初尝试过(我认为是)一种直接的方法

sumInts :: Int -> Int -> Int
sumInts a a = a 
sumInts a b = (sumInts (a) (b-1)) + b

当我尝试编译时，出现错误语句

• Conflicting definitions for ‘a’

我最终只是想让这个东西发挥作用，所以我把原本应该是一个功能的东西分成了两个。

sumInts' :: Int -> Int
sumInts' 0 = 0
sumInts' a = sumInts' (a-1) + a


sumInts :: Int -> Int -> Int
sumInts 0 b = sumInts' b 
sumInts a b = (sumInts (a-1) (b)) - (a-1)

我尝试寻找您认为非常简单的问题。唉，这似乎太小众了，无法得出结果。

如何将我当前拥有的两个功能合并为一个功能？另外，为什么我原来的功能不起作用？有什么建议可以避免将来发生这种情况吗？谢谢!

Answer 1

Haskell 中的模式匹配是线性。这意味着任何变量都不能在函数头部(模式匹配部分)写入两次。所以你的条款:

sumInts a a = a

不允许。在这种情况下，您可以使用防护:

sumInts :: (Num a, Ord a) => a -> a -> a
sumInts a b <b>| a <= b</b> = a + sumInts (a+1) b
            <b>| otherwise</b> = 0

防护是管道字符 (|) 后面的条件。如果满足条件，函数将计算等号右侧的部分 (=)。 otherwise 只是 True 的别名。