假设我在Haskell中有一个简单的数据类型用于存储值:
data V a = V a
Run Code Online (Sandbox Code Playgroud)
我想让V成为Show的一个实例,无论其类型如何.如果a是Show的实例,show (V a)则应返回,show a否则应返回错误消息.或者在Pseudo-Haskell中:
instance Show (V a) where
show (V a) = if a instanceof Show
then show a
else "Some Error."
Run Code Online (Sandbox Code Playgroud)
如何在Haskell中实现这种行为?
haskell ×1