无法匹配预期类型

Question

我想做一些不同的事情，但它太长了，所以下面只是示例：

test x y = if x == "5" then x
           else do putStrLn "bad value"; y

所以如果 x == 5 它应该返回 x，否则它应该打印“坏值”并返回 y - 我如何在 haskell 中做到这一点？

---

编辑：

为什么此代码返回错误：“无法将预期类型 bool 与实际类型 IO bool 匹配”？

canTest :: String -> IO Bool
canTest x = if x == "5" then return True
           else do putStrLn "bad value"; return False

test x y = if canTest x then x
           else y

Answer 1

您需要使双方具有相同的类型，即IO String。为此，您需要使用 return 将值提升到 monad 中，即

test :: String -> String -> IO String
test x y = if x == "5"
             then return x
             else do putStrLn "bad value"
                     return y

现在 return x 的类型为 IO String，因此else 分支中的 do 块。

Answer 2

因为 canTest 有副作用（即进行 I/O），所以它的返回类型是 IO Bool，这有两个含义：

1. 您不能直接在 if 谓词中测试它的值，您必须先“运行”该操作，然后测试提取的值。

2. 您编辑的 test 函数也必须位于 IO monad 中，因为您无法转义 IO。 （除非非常小心地使用unsafePerformIO）

   canTest::String -> 
   canTest::String -> IO 布尔值
   可以测试 x = 如果 x == "5"
                 然后返回True
                 否则就 putStrLn“坏值”；返回错误
   
   测试::字符串->字符串 -> IO 字符串
   测试 xy = do xCanTest <- canTest x
                 如果x可以测试
                   然后返回x
                   否则返回y
   
   

导致

Prelude> test "5" "12"
"5"
Prelude> test "6" "12"
bad value
"12"