导出Scala 3中不透明类型的类型实例

Question

Scala 3中是否有一种方法可以结合使用derives关键字和不透明类型别名？最好有一种无样板的方法，通过为基础类型(如果有的话)自动依赖于同一类型类的实例，向给定的不透明类型别名提供类型类型实例。

很高兴能表达出这样的观点

opaque type Id = Int 
object Id:
  given Show[Id] = Show.intShow

对于一些假设的类型化Show，如

opaque type Id = Int derives Show

Answer 1

您可以在syntax.md中看到，目前还没有这样的构造。

而且，即使这样的语法是可用的，我也不确定这是否应该是默认行为。使用opaque type的动机是区分新类型和底层类型。虽然我明白为什么它是有用的，而不是作为一个默认。

也许类似于Haskell的deriving via可能是一个很好的补充。这可能是一个很好的啜饮候选人。