haskell - 为什么有一个嵌套的IO monad，IO(IO())，作为我函数的返回值？

Question

为什么这个函数有这样的类型:deleteAllMp4sExcluding :: [Char] -> IO (IO ())
而不是 deleteAllMp4sExcluding :: [Char] -> IO ()
另外，我如何重写它以便它有一个更简单的定义？

下面是函数定义:

import System.FilePath.Glob
import qualified Data.String.Utils as S

deleteAllMp4sExcluding videoFileName =
  let dirGlob = globDir [compile "*"] "."
      f = filter (\s -> S.endswith ".mp4" s && (/=) videoFileName s) . head . fst 
      lst = f <$> dirGlob
  in mapM_ removeFile <$> lst

Answer 1

<$>当应用于 IO s 有类型 (a -> b) -> IO a -> IO b .所以自从 mapM_ removeFile有类型 [FilePath] -> IO () , b在这种情况下是 IO () ，所以结果类型变成 IO (IO ()) .

为了避免这样的嵌套，你不应该使用 <$>当您尝试应用的函数产生 IO 时值(value)。相反，您应该使用 >>=或者，如果您不想更改操作数的顺序，=<< .