所以我设计了以下函数来查看给定数字是否是 Haskell 中的素数（它假设第一个素数是 2）：
isPrime k = length [ x | x <- [2..k], k `mod` x == 0] == 1
即使它可以被多个数字整除，它也存在继续评估的明显缺陷:(。当它找到多个解决方案时，是否有任何理智方法可以“削减”评估，使用列表推导式？
另外，您还会尝试哪些其他实现？我不是在这里寻找性能，我只是想看看是否还有其他更“haskellish”的方式来做同样的事情。
【问题讨论】：
标签： algorithm haskell primes primality-test
对代码进行“短路”评估并依赖于 Haskell 列表的惰性的快速更改是：
isPrime k = if k > 1 then null [ x | x <- [2..k - 1], k `mod` x == 0] else False
k 的第一个除数将导致列表非空，null 的 Haskell 实现将只查看列表的第一个元素。
您应该只需要检查 sqrt(k) 然而：
isPrime k = if k > 1 then null [ x | x <- [2..isqrt k], k `mod` x == 0] else False
当然，如果您希望进行高性能素性测试，则首选库。
【讨论】：
isqrt 更改为 sqrt，这不适用于 Integral 类型，所以代码会导致错误。 2. 你将“relies”改为“rely”，这破坏了句子的意思（有点微妙，但仍然是真实的感觉）。
这里是haskell.org 中prime numbers in haskell 的最佳资源
这里是prime.hsgithub 项目
【讨论】：
这可能并不直接相关，但关于在函数式语言中寻找素数的话题，我发现 Melissa E. O'Neill 的 The Genuine Sieve of Eratosthenes 非常有趣。
【讨论】：
我喜欢这种方法：
首先make函数得到n的所有因数：
factors n = [x | x <- [1..n], mod n x == 0]
然后检查因子是否只是给定的数字和1，如果是，则该数字是素数：
prime n = factors n == [1,n]
【讨论】：
忽略素数问题，专注于length xs == n的更有效方法的窄点：
hasLength :: Integral count => [a] -> count -> Bool
_ `hasLength` n | n < 0 = False
[] `hasLength` n = n == 0
(_ : xs) `hasLength` n = xs `hasLength` (pred n)
isPrime k = [ x | x <- [2..k], k `mod` x == 0)] `hasLength` 1
【讨论】：
这可能是愚蠢和低效的（我是一个完整的 Haskell 新手），但函数 isMyNumberPrime（在 ghci 中）似乎告诉你一个数字是否是素数。
factors n = [x | x <- [2..(n`div` 2)], mod n x == 0]
factormap n = fmap factors $ factors n
isMyNumberPrime n = case factormap n of [] -> True; _ -> False
【讨论】：