我正在学习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)
我尝试寻找您认为非常简单的问题。唉,这似乎太小众了,无法得出结果。
如何将我当前拥有的两个功能合并为一个功能?另外,为什么我原来的功能不起作用?有什么建议可以避免将来发生这种情况吗?谢谢!
最佳答案
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
的别名。
关于haskell - 如何设置具有两个参数的递归函数的初始条件 (Haskell),我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/46135649/