如何在haskell中实现withFile

Question

在haskell教程之后,作者提供了withFile方法的以下实现:

withFile' :: FilePath -> IOMode -> (Handle -> IO a) -> IO a  
withFile' path mode f = do  
    handle <- openFile path mode   
    result <- f handle  
    hClose handle  
    return result  

但是,为什么我们需要包裹result在一个return？提供的功能是否f已经返回,IO因为它的类型可以看出Handle -> IO a？

Answer 1

你是对的:f已经返回一个IO,所以如果函数是这样编写的:

withFile' path mode f = do  
    handle <- openFile path mode   
    f handle

没有必要返回.问题出hClose handle在两者之间,所以我们必须先存储结果:

result <- f handle

并做了<-摆脱IO.所以return把它放回去.