在haskell中拆分使用和不使用fmap的输入读取的行

Posted 2021-03-31

我发现words是分裂String的合适功能：

words :: String -> [String]

使fmap有什么特别之处：

Prelude> fmap words getLine
abc def ghi
["abc","def","ghi"]

并且它的遗漏会导致错误：

Prelude> words getLine

<interactive>:10:7: error:
    • Couldn't match type ‘IO String’ with ‘[Char]’
      Expected type: String
        Actual type: IO String
    • In the first argument of ‘words’, namely ‘getLine’
      In the expression: words getLine
      In an equation for ‘it’: it = words getLine 

我知道fmap与Functors合作，但我还不知道Functors。它与此有关吗？

答案

getLine返回一个IO String，所以words getLine是一个类型错误。 fmap有类型

Functor f => (a -> b) -> f a -> f b

和IO有一个仿函数实例，所以fmap为IO有类型(a -> b) -> IO a -> IO b。 fmap words因此具有IO String -> IO [String]类型，并将其应用于getLine的结果导致IO [String]。

在ghci中，执行IO动作并打印结果，这就是您显示结果列表的原因。