场景： 如果有一个整数数组，我想得到一个整数数组作为返回值，使它们的总和不超过10。
我是Haskell的初学者，尝试了以下代码。如果有人能纠正一下，将不胜感激。
numbers :: [Int]
numbers = [1,2,3,4,5,6,7,8,9,10, 11, 12]
getUpTo :: [Int] -> Int -> [Int]
getUpTo (x:xs) max =
if max <= 10
then
max = max + x
getUpTo xs max
else
x
输入
getUpTo numbers 0
输出期望结果
[1,2,3,4]
注意：这不是背包问题的解决方案 :)
我想出了一个非常快速的解决方案，如下所示。当然，解决完整的背包问题可能更困难，但如果您只需要快速解决方案，这应该有效：
import Data.List (sort)
getUpTo :: Int -> [Int] -> [Int]
getUpTo max xs = go (sort xs) 0 []
where
go [] sum acc = acc
go (x:xs) sum acc
| x + sum <= max = go xs (x + sum) (x:acc)
| otherwise = acc
出于教育目的（并且因为我想解释一些东西:-），这里有一个使用更多标准函数的不同版本。由于它计算了许多总和，而没有保持一个运行总数，所以速度较慢。另一方面，我认为它很好地表达了如何分解问题。
getUpTo :: [Int] -> [Int]
getUpTo = last . filter (\xs -> sum xs <= 10) . Data.List.inits
getUpTo应用于数字列表，则首先对列表应用Data.List.inits，然后对结果应用filter (\xs -> sum xs <= 10)，最后对该结果的最后一个应用last。Data.List.inits按长度递增的顺序返回列表的初始段。例如，Data.List.inits [2,3,4,5,6]返回[[],[2],[2,3],[2,3,4],[2,3,4,5],[2,3,4,5,6]]。正如您所见，这是一个整数列表的列表。filter (\xs -> sum xs <= 10)按顺序遍历这些整数列表，如果它们的总和小于10，则保留它们，否则丢弃它们。 filter的第一个参数是谓词，给定一个列表xs，如果xs的总和小于10，则返回True。这可能有点令人困惑，因此我认为需要一个带有更简单谓词的示例。例如，filter even [1,2,3,4,5,6,7]返回[2,4,6]，因为这些是原始列表中的偶数值。在前面的示例中，列表[]，[2]，[2,3]和[2,3,4]的总和都小于10，但[2,3,4,5]和[2,3,4,5,6]不是，因此应用于[2,3,4,5,6]的filter (\xs -> sum xs <= 10) . Data.List.inits的结果是[[],[2],[2,3],[2,3,4]]，同样是一个整数列表的列表。length ys) . Control.Monad.filterM (const [False,True]) -但我不打算在这里解释那个。scanl1 (+) 获取部分和，然后将其与原始列表一起使用 zip，再使用 takeWhile：getUpTo xs = map fst . takeWhile ((<= 10) . snd) . zip xs $ scanl1 (+) xs。 - hammarscanl (+) 0 xs和inits xs），但我想保持基本。相反，我选择展示我最喜欢的Haskell魔法（使用filterM生成所有子列表）。嗯，我的版本或多或少是无点风格的 :-) - yatima2975虽然有一种快速的解决方案，但我认为展示如何最小化修改你的代码以使其按照你的期望工作也是很有教益的。
numbers :: [Int]
numbers = [1,2,3,4,5,6,7,8,9,10, 11, 12]
getUpTo :: [Int] -> Int -> [Int]
getUpTo (x:xs) max =
if max < 10 -- (<), not (<=)
then
-- return a list that still contains x;
-- can't reassign to max, but can send a
-- different value on to the next
-- iteration of getUpTo
x : getUpTo xs (max + x)
else
[] -- don't want to return any more values here
getUpTo numbers 0，就像你的问题所述，作为输入？;-) - Daniel Wagner我对Haskell还比较陌生。几个小时前我才开始接触它，因此每个问题都是一种挑战，帮助我摆脱命令式思维方式，也是练习递归思维的机会 :)
我认真思考了这个问题，并想出了这个或许有点天真的解决方案：
upToBound :: (Integral a) => [a] -> a -> [a]
upToBound (x:xs) bound =
let
summation _ [] = []
summation n (m:ms)
| n + m <= bound = m:summation (n + m) ms
| otherwise = []
in
summation 0 (x:xs)
我知道已经有更好的答案了，但我只是为了好玩而这样做。
我有一种印象，我改变了原始调用的签名，因为我认为在外部函数调用中提供初始零是毫无意义的，因为我只能假设它最初只能为零。因此，在我的实现中，我将种子隐藏在调用者之前，并提供了最大边界，这更可能会发生变化。
upToBound [1,2,3,4,5,6,7,8,9,0] 10
输出结果为：[1,2,3,4]
[4,6]是一个可接受的答案吗？为什么或为什么不是？ - dave4420