我刚开始学习有关过滤列表的 Haskell。
假设我有以下列表：[2, 3, 4, 5, 8, 10, 11]
我想只保留列表中那些不能被其他成员整除的数字。
我们示例的结果是：[2, 3, 5, 11]
【问题讨论】：
foldl1 gcd xs 给出你的结果。不能是过滤器，因为min(2,3)的结果是1，而1不在[2,3]中
[x | x <- src, all (\y -> x `rem` y /= 0) (filter (<x) src)]
where src = [2,3,4,5,8,10,11]
应该注意的是，您实际上还意味着可以被它下面的其他数字整除，而不仅仅是该列表中的任何数字，这就是为什么 all 的第二个参数中有一个 filter。
结果当然是您在问题中所期望的结果：[2,3,5,11]。
这是它的工作原理（如果我遗漏了什么，请告诉我，我会更新）。
我将用普通英语并排解释代码。我建议你先看英文，然后看看每个语句在代码中是如何表达的——我认为这应该是对新手最友好的。
另请注意，我在下面翻转了filter 和all 的参数（无效！）以使解释更加流畅。
[x|：构造一个由x组成的列表x <- src：其中x是来自src的元素,：但只有满足以下谓词的元素/rule:all (filter src (<x)):src 中小于当前 x(\y -> x 'rem' y /= 0) 的数字：不得产生等于 0 的余数。]
要使代码部分有意义，请确保您熟悉 all、filter、rem 以及以下语法：list comprehensions、lambda expressions、sections 和 @ 987654327@.
【讨论】：
nubBy (\a b->rem a b ==0) 可以解决问题。在兼容 Haskell98 的系统（例如 Hugs）上，使用 nubBy (\b a->rem a b ==0)。 （nubBy 在Data.List 中）。
在 GHC 上，
Prelude> :m + Data.List
Prelude Data.List> nubBy (\a b -> rem a b == 0) [2,3,4,5,8,10,11]
[2,3,5,11]
成功了。在兼容 Haskell98 的系统上（例如 Hugs），使用nubBy (\b a -> rem a b == 0)。
【讨论】：
rem max min) 将其参数传递给 rem。但在这种情况下，解决方案并不那么性感......
使用filter
filter :: (a -> Bool) -> [a] -> [a]
从Data.Numbers.Primes函数
isPrime :: Integral int => int -> Bool
可能
filter isPrime [2, 3, 4, 5, 8, 10, 11]
或使用列表推导
[ x | x <- [2, 3, 4, 5, 8, 10, 11], isPrime x]
根据需要更改过滤谓词，例如
-- None `xs` element (different than `x`) divide `x`
noneDiv xs x = and [x `mod` y /= 0 | y <- xs, x /= y]
现在
myFilter xs = filter (noneDiv xs) xs
或
myFilter xs = [x | x <- xs, noneDiv xs x]
【讨论】：