在Haskell(basic)中显示未知类型

不是每种类型都可以 show n在哈斯克尔。某些类型无法固有显示-例如类型 Int -> Int -你是怎么表现出来的?但有些类型还没有实现 显示 . 一般来说,如果你有某种类型的 a 你对此一无所知,你不能想当然 显示 n

为了使用该功能 显示 根据你的类型 一 ,您需要要求编译器确保该类型 一 有一个实例 Show a . 为此,您需要添加一个 限制 对于您的实例,如下所示:

instance Show a => Show (STree a) where
    show (LeafS b) = show b
    ...

因为您已指定 Show a => ,编译器知道给定的类型 STree a 是的实例 Show 当且仅当类型 一 它本身就是。这允许编译器调用 show b 并且确保,当所有类型都已知时,这个调用将是可能的。另一方面,任何试图 显示 的实例 应力a 需要确保存在一个实例 显示a ,编译器将对此进行检查,如果不是这样,则发出错误。