Scala 3标准库是否存在支持derives的Show类型类？

1. Show类型类是否存在于Scala 3标准库中？ #

不存在。Scala 3官方文档中提到的Show仅为类型类推导特性的演示示例，没有被纳入官方标准库的实现中。

2. 若不存在，标准库中是否提供用于美化打印的类型类？ #

Scala 3标准库没有提供专门用于美化打印的类型类。日常开发中普遍使用的是Any类上自带的toString方法，但该方法不属于类型类实现，存在两个明显限制：

• 所有类型默认继承该方法，无法在编译期做打印能力的约束
• 不支持通过derives语法自动推导定制化的打印逻辑

如果需要类型安全、可推导的美化打印能力，通常会引入第三方函数式库中提供的Show类型类实现。

3. 是否是长期使用Haskell的习惯导致我默认认为存在该类型类？ #

是的。Haskell的标准前置库（Prelude）中内置了Show作为基础类型类之一，原生支持自动派生实例，长期使用Haskell的开发者很容易形成「函数式语言标准库默认提供可派生的Show类型类」的固有认知，出现这个误解是非常普遍的情况。

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