`(Integer a) => a -> Bool` 和 `Integer -> Bool` 之间的区别？

今天我用 Haskell 写了第一个程序。编译并运行成功。而且由于它不是典型的“你好世界”程序，它实际上做的远不止这些，所以请祝贺我：D

不管怎样，我对我的代码和 Haskell 中的语法没有什么疑问。

Problem:

我的程序读取一个整数N从标准输入，然后，对于每个整数i在范围中[1,N]，它打印是否i是否是质数。目前它不检查输入错误。 :-)

解决方案：（也有疑问/问题）

为了解决这个问题，我编写了这个函数来测试整数的素数：

is_prime :: Integer -> Bool
is_prime n = helper n 2
        where
          helper :: Integer -> Integer -> Bool
          helper n i  
              | n < 2 * i = True
              | mod n i > 0 = helper n (i+1)
              | otherwise = False

效果很好。但我怀疑第一行是多次尝试的结果，正如我在本教程没有工作，并给出了这个错误（我suppose这是一个错误，尽管它没有这么说）：

prime.hs:9:13:
    Type constructor `Integer' used as a class
    In the type signature for `is_prime':
      is_prime :: Integer a => a -> Bool

根据教程（顺便说一句，这是一个写得很好的教程），第一行应该是：（教程说(Integral a) => a -> String， 所以我认为(Integer a) => a -> Bool应该也能工作。)

is_prime :: (Integer a) => a -> Bool

这不起作用，并给出上面发布的错误（？）。

为什么它不起作用？这条线（不起作用）和这条线（起作用）有什么区别？

另外，循环的惯用方法是什么1 to N？我对代码中的循环并不完全满意。请提出改进​​建议。这是我的代码：

--read_int function
read_int :: IO Integer
read_int = do
     line <- getLine
     readIO line

--is_prime function
is_prime :: Integer -> Bool
is_prime n = helper n 2
        where
          helper :: Integer -> Integer -> Bool
          helper n i  
              | n < 2 * i = True
              | mod n i > 0 = helper n (i+1)
              | otherwise = False

main = do
       n <- read_int
       dump 1 n
       where
           dump i x = do 
                 putStrLn ( show (i) ++ " is a prime? " ++ show (is_prime i) )
                 if i >= x 
                    then putStrLn ("")
                  else do
                    dump (i+1) x

您误读了教程。它会说类型签名应该是

is_prime :: (Integral a) => a -> Bool
--       NOT Integer a

这些是不同的类型：

• Integer -> Bool
  • 这是一个采用类型值的函数Integer并返回一个类型的值Bool.
• Integral a => a -> Bool
  • 这是一个采用类型值的函数a并返回一个类型的值Bool.
  • What is a？它可以是调用者选择的实现以下功能的任何类型Integral类型类，例如Integer or Int.

（以及之间的区别Int and Integer？后者可以表示任意大小的整数，前者最终会回绕，类似于intC/Java/等）

惯用的循环方式取决于循环的作用：它可以是地图、折叠或过滤器。

你的循环main是一个地图，因为你在循环中进行 i/o，所以你需要使用mapM_.

let dump i = putStrLn ( show (i) ++ " is a prime? " ++ show (is_prime i) )
 in mapM_ dump [1..n]

同时，你的循环is_prime是一个折叠（具体来说all在这种情况下）：

is_prime :: Integer -> Bool
is_prime n = all nondivisor [2 .. n `div` 2]
        where
          nondivisor :: Integer -> Bool
          nondivisor i = mod n i > 0

（在风格上的一个小问题上，Haskell 中通常使用这样的名称isPrime而不是像这样的名字is_prime.)