我有以下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
从我所看到的,该功能就像Eratosthenes的Sieve一样.该函数将b视为素数并过滤掉b的倍数.但我不确定如何.最重要的是,该函数抛出此异常.