修改haskell函数以正确运行

Question

我有以下haskell代码：

a (b : bs) = b : [c | c <- (a bs), c `rem` b /= 0]

谁能解释这段代码的作用？ 运行 as

a [3,5..42]

返回

  Prelude> a [3,5..42]
[3,5,7,11,13,17,19,23,29,31,37,41*** Exception: <interactive>:71:1-46: Non-exhaustive patterns in function a

据我所知，该函数的工作原理类似于埃拉托色尼筛。该函数将 b 视为素数并过滤掉 b 的倍数。但我不确定如何。最重要的是，该函数会引发此异常。

Answer 1

这里有一个递归函数：您在定义中调用a bs。最终 bs 将是空列表，此时您会遇到异常。例如，您可以在代码中添加以下行：

a [] = []

那么输出会变成：

[3,5,7,11,13,17,19,23,29,31,37,41]

至于这个函数的作用，它返回列表中的每个元素，而不是列表中任何先前元素的倍数。如果给它一个列表[2..x]，其中x 是任何整数，这与从2 到x 的所有素数列表相同。

获取素数列表的另一种方法是您找到的方法： 你从 3 开始，让 Haskell 列表理解跳过任何 2 的倍数。