haskell - Haskell 中的奇怪返回

Question

checkstring :: [String] -> Int -> [String]
checkstring p n = do    z <- doesFileExist (p !! n)
    if z
    then p
    else error $ "'" ++ (p !! n) ++ "' file path does not exist"

它通过查看“n”来检查字符串中的元素(因此，如果 n = 2，它将检查列表中的第二个字符串)，然后查看它是否存在。如果存在则返回原始字符串列表，如果不存在则出错。为什么要这样做呢？ :

Couldn't match expected type `[t0]' with actual type `IO Bool'
    In the return type of a call of `doesFileExist'
    In a stmt of a 'do' expression: z <- doesFileExist (p !! n)

Answer 1

doesFileExist的类型是String -> IO Bool。如果你的程序想要知道一个文件是否存在，它必须与文件系统交互，这是一个 IO 操作。如果您希望 checkString 函数执行此操作，它还必须具有某种基于 IO 的类型。例如，我认为这样的东西会起作用，尽管我还没有尝试过:

checkstring :: [String] -> Int -> IO [String]
checkstring p n = do    z <- doesFileExist (p !! n)
    if z
    then return p
    else error $ "'" ++ (p !! n) ++ "' file path does not exist"