"无法匹配类型`可能'与'IO'预期类型:IO字符串实际类型:可能字符串"在Haskell中

Question

我试图把我的头包裹在Monads周围,并且觉得如果我能解释为什么这不能编译,我会有更好的理解.

module Main where
import Data.Maybe
import System.Environment

myFunc :: String-> Maybe String
myFunc x = Just x

main :: IO ()
main = myFunc "yo" >>= putStrLn 

我得到的错误是

blah.hs:9:10:
    Couldn't match type `Maybe' with `IO'
    Expected type: IO String
      Actual type: Maybe String
    In the return type of a call of `myFunc'
    In the first argument of `(>>=)', namely `myFunc "yo"'
    In the expression: myFunc "yo" >>= putStrLn

我意识到问题在于我正在尝试将a Maybe与a匹配IO,但我并不完全确定如何将我的Maybe'd变量转换为IO.任何帮助将不胜感激!

Answer 1

你是意识到你正在试图匹配正确的Maybe有IO.对于类型检查的bind(>>=)运算符,Monad都应该是相同的.解决这个问题的一种方法是将包裹Maybe在IO使用单子return:

return (myFunc "yo") >>= putStrLn . show

或者更简单:

return (myFunc "yo") >>= print

话虽这么说,你不需要所有花哨的monad操作员.这应该只是工作:

main :: IO ()
main = print . myFunc $ "yo"