haskell - haskell 中如何实现 withFile

Question

关注 haskell tutorial ，作者提供了以下实现 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放回去。