在Haskell

Question

我試圖得到像真實世界哈斯克爾文件的大小獲取文件的大小建議：

getFileSize :: FilePath -> IO (Maybe Integer) 
getFileSize path = handle (\_ -> return Nothing) 
        $ bracket (openFile path ReadMode) (hClose) (\h -> do size <- hFileSize h 
                     return $ Just size) 

而且我得到這個錯誤：

Ambiguous type variable `e0' in the constraint: 
    (GHC.Exception.Exception e0) arising from a use of `handle' 
Probable fix: add a type signature that fixes these type variable(s) 
In the expression: handle (\ _ -> return Nothing) 
In the expression: 
    handle (\ _ -> return Nothing) 
    $ bracket 
     (openFile path ReadMode) 
     (hClose) 
     (\ h 
     -> do { size <- hFileSize h; 
        return $ Just size }) 
In an equation for `getFileSize': 
    getFileSize path 
     = handle (\ _ -> return Nothing) 
     $ bracket 
      (openFile path ReadMode) 
      (hClose) 
      (\ h 
      -> do { size <- hFileSize h; 
         return $ Just size }) 

但我不能圖瞭解正在發生的事情。

Answer 1

我去谷歌之後，我解決了這樣的問題：

getFileSize :: FilePath -> IO (Maybe Integer) 
getFileSize path = handle handler 
        $ bracket (openFile path ReadMode) (hClose) (\h -> do size <- hFileSize h 
                     return $ Just size) 
    where 
    handler :: SomeException -> IO (Maybe Integer) 
    handler _ = return Nothing