如何在不派生Show的情况下调试打印外部定义的数据类型？

这个问题我之前调试的时候也碰到过！确实挺头疼的，尤其是用到第三方库或者系统提供的类型时，没法加deriving (Show)。不过有几个实用的办法可以解决，分享给你：

1. 用GHC泛型自动生成Show逻辑 #

GHC的泛型机制可以帮我们绕过原类型的定义，自动推导类似Show的打印逻辑。你只需要导入几个模块，定义一个通用的打印函数就行：

import GHC.Generics
import Text.Show.Generic

-- 通用的泛型打印函数，支持所有可泛型的类型
genericShow :: (Generic a, GShow (Rep a)) => a -> String
genericShow = gshow

使用的时候直接把你的值传进去就行：

putStrLn $ genericShow yourNonShowableValue

这个方法的好处是不需要知道类型的具体结构，只要类型支持泛型（大多数Haskell类型都支持）就能用，完全不用修改原类型代码。

2. 手动编写临时打印函数 #

如果类型的结构你是清楚的，那直接写一个针对性的打印函数更直观，只提取你关心的字段打印就行。比如假设你要打印的库类型是data LibType = LibType Int Bool String：

printLibType :: LibType -> IO ()
printLibType (LibType num flag txt) = 
  putStrLn $ "LibType { 数字字段: " ++ show num ++ ", 布尔字段: " ++ show flag ++ ", 文本字段: " ++ show txt ++ " }"

调用printLibType yourLibValue就能看到你需要的调试信息，这种方式还能自定义输出格式，只展示你关心的内容，避免冗余信息干扰。

3. GHCi里直接用:print命令 #

如果是在GHCi交互环境里调试，那最简单的办法就是用:print命令——它根本不需要Show实例！不管类型有没有定义Show，它都能打印出值的结构，甚至能显示未求值的thunk（就是还没计算的部分）：

ghci> let val = LibType 123 True "test"
ghci> :print val
val = LibType 123 True "test"

这个方法零成本，不用写任何额外代码，调试的时候特别方便。

4. 极端情况用unsafeCoerce（谨慎使用） #

如果上面的方法都不行（比如类型是完全抽象的，你不知道它的内部结构），可以试试unsafeCoerce临时转成一个有Show的类型来打印，但这个方法非常危险，可能会导致程序崩溃或者输出错误信息，只建议作为最后应急手段：

import Unsafe.Coerce

-- 仅用于临时调试，不要在生产代码里用！
printUnsafe :: a -> IO ()
printUnsafe = print . unsafeCoerce

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