与Haskell的IO Monad合作

Question

如果我有两个常数：

type A = Int  
type B = Int  

然后应用功能：

Number :: String −> (Int −> Bool) −> IO Int
Number n = do
    num <- fmap getNumber getLine
    if num >0 || num <= A || num <= B then num else putStrln "Invalid Number!"

这个对吗 ？

Answer 1

第一行num <- fmap getNumber getLine是正确的（如果getNumber = read ），但是第二行不是

if num >0 || num <= A || num <= B then num else putStrln "Invalid Number!"

让我们看一下if表达式的第二部分：

num :: Int ，但是putStrln "Invalid Number!" :: IO () putStrln "Invalid Number!" :: IO ()

但是它们必须具有相同的类型！

如果我们重写then return num ，则意味着键入return num :: IO Int ，但仍然putStrln "Invalid Number!" :: IO () putStrln "Invalid Number!" :: IO ()

if它根本不正确的第一部分： A和B是类型，而不是数据构造函数

我们可以编写（ num > (x :: A) ），这意味着与num > (x :: Int) ，如下所示：

num > 0 || num <= (3 :: A) || num <= (42 :: B)

更新

当然，函数名不能Number以大写字母。 所有功能均以小写字母开头。

您的示例中的PS n是未使用的变量

有效函数如下所示：

numA = 3
numB = 42

number = do
    num <- fmap read getLine
    if num > 0 || num <= numA || num <= numB 
      then return (Just num)
      else putStrln "Invalid Number!" >> return Nothing