Haskell命令行应用中错误消息的惯用格式化方法

你提到的直接用字符串拼接+show的写法，其实就是Haskell处理这类简单错误场景的常见做法，算不上繁琐——毕竟命令行参数解析的错误逻辑本身直白，对应的错误消息也不需要复杂格式化。不过如果觉得拼接写法不够优雅，有几种更符合Haskell风格的替代方案：

1. 使用Text.Printf模块 #

虽然你觉得它不够Haskell风格，但很多开发者在需要格式化带变量的字符串时都会用它，尤其是当错误消息包含多个不同类型变量时，比手动拼接更清晰：

import Text.Printf (printf)

main :: IO ()
main = do
  args <- getArgs
  case args of
    [arg] -> case readMaybe arg :: Maybe Int of
      Just n | n > 0 -> runProg n
      Just n         -> die $ printf "expected a positive integer (got: %d)" n
      Nothing        -> die $ printf "expected an integer (got: %s)" arg
    _ -> die $ printf "expected exactly one argument (got: %d)" (length args)

这种写法省去了手动拼接字符串和调用show的步骤，格式串与变量的对应关系更直观。

2. 使用类型安全的格式化库（如fmt） #

如果追求更现代、类型安全的格式化方式，可以用第三方库fmt，它支持自动类型推导，不需要手动指定格式符，写法更简洁：

import Fmt (fmt, (+|), (|+))

main :: IO ()
main = do
  args <- getArgs
  case args of
    [arg] -> case readMaybe arg :: Maybe Int of
      Just n | n > 0 -> runProg n
      Just n         -> die $ fmt ("expected a positive integer (got: "+|n|+")")
      Nothing        -> die $ fmt ("expected an integer (got: "+|arg|+")")
    _ -> die $ fmt ("expected exactly one argument (got: "+|length args|+")")

fmt的+|和|+操作符会自动处理不同类型的格式化，既符合Haskell的类型系统风格，也不用记忆各种格式符。

3. 封装错误消息构造函数 #

如果项目中有大量类似的错误消息，可以封装成专用函数，减少重复代码：

badArgCount :: Int -> String
badArgCount got = "expected exactly one argument (got: " <> show got <> ")"

nonPositiveInt :: Int -> String
nonPositiveInt n = "expected a positive integer (got: " <> show n <> ")"

nonIntArg :: String -> String
nonIntArg arg = "expected an integer (got: " <> arg <> ")"

main :: IO ()
main = do
  args <- getArgs
  case args of
    [arg] -> case readMaybe arg :: Maybe Int of
      Just n | n > 0 -> runProg n
      Just n         -> die $ nonPositiveInt n
      Nothing        -> die $ nonIntArg arg
    _ -> die $ badArgCount (length args)

这种方式将错误消息的构造逻辑与业务逻辑分离，代码更整洁，也方便统一修改错误消息的格式。

需要说明的是，你最初的写法本身就是Haskell的惯用方案之一，尤其是对于小型程序，直接拼接足够简洁，没必要过度追求“优雅”——适合当前场景的写法就是最好的。

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