Haskell中捕获异常是否为代码坏味道？目录操作错误该如何处理？

关于标准库设计的困惑 #

你提到的矛盾是Haskell标准库的历史遗留设计问题：早期IO子系统成型时，Either风格的错误处理还未成为主流，不少IO操作（包括getDirectoryContents）选择用异常传递错误，而非返回IO (Either e a)。

要明确的是：Haskell的异常体系和Rust的panic!并不完全等价——IO操作抛出的异常大多属于可恢复错误（比如路径无效、权限不足），只有纯函数里的error或undefined才更接近Rust里不可恢复的panic!。标准库的这种设计只是历史选择，并非意味着这类错误不可恢复。

场景下的惯用解决方案 #

针对你列出子目录的需求，有几种常用处理方式：

1. 用try系列函数捕获异常 #

这是最直接的标准库方案，用tryIOError将抛出异常的IO操作转换为返回Either的形式，完美解决原子性问题：

import System.Directory (getDirectoryContents)
import Control.Exception (tryIOError)

listSubdirs :: FilePath -> IO (Either IOError [FilePath])
listSubdirs path = do
  contentsResult <- tryIOError $ getDirectoryContents path
  case contentsResult of
    Left err -> return $ Left err
    Right items -> return $ Right [item | item <- items, item /= "." && item /= ".."]

2. 使用第三方库的安全封装 #

不少第三方库针对标准库的“异常式IO”做了封装，提供返回Either的安全接口，比如safe库或extra库，它们的目录操作函数会直接返回错误类型，无需手动捕获异常。

3. 何时将异常视为不可恢复？ #

只有当错误完全超出程序预期、无法通过逻辑处理时（比如磁盘突然挂载失效、系统调用完全崩溃），才适合将这类IO异常视为不可恢复，让程序终止。而路径不存在、权限不足这类常见的预期内错误，都应该主动捕获并处理。

内容的提问来源于stack exchange，提问作者doliphin