Question

我刚刚被介绍给Haskell，所以我对如何使用该语言进行编码并不是很熟练，因此，如果这是一个重复的话，对不起，但是我不明白其他代码写的在语言中。

我正在尝试编写一个算法，该算法将采用不超过给定值的正整数甚至整数的总和。我试图编写代码但是我一直在收到C堆栈溢出错误。

这是我的代码：

sumint :: Int -> Int
sumint x
  | x==0 = 0  
  | x==1 = 1
  | (x `mod` 2 == 0) && (x >= 2) = x + (sumint x-2)
  | (x `mod` 2 /= 0) && (x >= 1) = x + (sumint x-1)

我错在哪里得到这个错误？

Answer 1

初始错误：无限递归

单步执行代码：

sumint :: Int -> Int

嘿，一个类型签名。你摇滚。

sumint x
  | x==0 = 0

基础案例，很酷。

  | x==1 = 1

一个完全不必要的案例。好的，确定......除外。 1甚至不是为什么我们将它包含在总和中？它应为零（或完全删除）。

  | (x `mod` 2 == 0) && (x >= 2) = x + (sumint x-2)

问题的关键在这里。 X甚至很棒。 2. X是正面的，是的。结果是x + (sumint x) - 2否！

错误1：通知函数应用程序比运算符绑定更严格，因此应该是x + sumint (x-2)。

这就是你的堆栈溢出的原因。 sumint 2 == 2 + (sumint 2) - 2 + (sumint 2) -2 + (sumint 2) -2 + ...，yay无限递归。

  | (x `mod` 2 /= 0) && (x >= 1) = x + (sumint x-1)

另一种情况......赔率......积极......但为什么我们加入x？你想添加平均值，而不是赔率。因此，在我们获得的同时解决上述问题：

错误2：如果您确定x是奇数，请不要添加x。只需使用sumint (x-1)。

然后你就没有了。如果x不是正数，会发生什么？你需要（另一个）案例。

| otherwise = 0

下一期：无积累

现在的问题是你正在构建一个大的thunk（未评估的计算），而不是通过在进展时累积结果来在恒定的空间中操作。请注意，如果我们扩展您的计算，比如6，我们得到：

sumint 6 = 6 + sumint (6-2) 
      = 6 + 4 + sumint (4-2)
      = 6 + 4 + 2 + sumint (2-2)
      = 6 + 4 + 2 + 0

你真的不想将所有这些添加内容分开，最好传入一个累加器，如：

sumint x = go x 0
 where
  go n accumulator
         | n <= 0    = accumulator
         | odd n     = go (n-1) accumulator
         | otherwise = go (n-2) (accumulator + n)

旁注：其他stackoverflow公民可能会提到使累加器严格，这是一个很好的形式。我不想通过这里的讨论分散当前提问者的注意力。注意使用优化-O2就足够了。

惯用解决方案

以上所有解决方案都相当冗长。使用函数和累加器迭代列表的常规操作是fold的类型。 Fold是函数式编程中常见的众多高度优化的结构遍历之一。在这种情况下，“严格左侧折叠”是典型的候选者（来自Data.List）。根据惯例，foldl''是素数（'）意味着它是严格的，而l意味着离开。

sumint n = foldl' (+) 0 [val | val <- [0..n], even val]

在这里，我们折叠在列表上以获得我们的总和。要创建感兴趣的列表，我们使用列表理解 - 首先枚举0..n中的值并跳过任何不符合谓词even的值。

我们可以进一步清理它并使用sum函数和逐步执行的列表推导来改进它，从而只为我们提供所需的平均值：

sumint n = sum [0,2..n]

Answer 2

它是运算符优先级问题。在Haskell中，函数应用程序具有最高可能的优先级。因此，当您编写sumint x - 2时，即使您将其解释为sumint (x-2)，Haskell也会将其解释为(sumint x) - 2。因此 - 您试图直接用sumint x来定义sumint x - 它只是堆积递归函数调用，直到堆栈溢出。如果要在函数应用程序之前评估减法，则需要添加显式括号。

Haskell - C堆栈溢出

2 个答案: