Scala 3 中是否可以將derives關鍵字與不透明型別別名結合使用？通過自動依賴底層型別（如果有的話）的相同型別類的實體，有一種無樣板的方式來為給定的不透明型別別名提供型別類實體會很好。
有可能表達類似的東西會很高興
opaque type Id = Int
object Id:
given Show[Id] = Show.intShow
對于一些假設的型別類Show，如
opaque type Id = Int derives Show
uj5u.com熱心網友回復：
你可以看到syntax.md，目前沒有這樣的結構。
此外，即使這樣的語法可用，我也不確定這是否應該是默認行為。使用opaque types 背后的動機是將新型別與底層型別區分開來。雖然我明白為什么擁有它會有用，但不是默認設定。
也許類似于 Haskell 的東西deriving via在這里可能是一個很好的補充。它可能是SIP的一個很好的候選者。
轉載請註明出處，本文鏈接：https://www.uj5u.com/qianduan/508578.html
上一篇：將引數傳遞給Scala中的執行緒