Haskell 'any' 函数 - 素性检查

Question

我正在尝试定义一个 is_prime Haskell 中的函数。任何人都可以指出使用 any 函数的问题吗？

另外，我知道下面的代码很幼稚，但我正在学习语言，所以从babysteps开始。

is_prime 0 = False
is_prime 1 = False
is_prime 2 = True
is_prime n = any [n `mod` k == 0 | k <- [2.. sqrt n]]

Answer 1

any的类型是 (a -> Bool) -> [a] -> Bool ，所以它接受一个谓词和一个集合。所以你应该重写你的最后一个案例

is_prime n = not $ any (\k -> n `mod` k /= 0)
                       [2 .. ceiling $ sqrt $ fromIntegral n]

fromIntegral是必要的，因为 sqrt的类型是 Floating a => a -> a而您的 n是一个整数。随后，无 ceiling any 的第二个参数将是 Floating t => [t] .这会中断，因为调用 mod ，其类型为 Integral a => a -> a -> a , 在非整数类型上是非法的。

如果您想寻找其他一些实现，我可以推荐例如 this discussion .