Scala 3のopaque typeとgeneralized type constraints - xuwei-k's blog

これを組み合わせてる例を雑にググっても見つけられなかったのですが、よく考えたら組み合わせたらそれなりに便利というか、劣化版HaskellのCoercibleと言えなくもないのでは？？？と今更気がついたので、それについて書きます。 昔こういうことをtweetして dottyのopaque type、Scala 2のvalue classに比べてよりHaskellのnewtypeに近い気がしてるけれど、Haskellのtype roleやCoercibleのようなものを入れたい、みたいな動き出てこないのかなぁ。 リポジトリ検索しても少し言及されてるだけだな— Kenji Yoshida (@xuwei_k) February 16, 2020 今でもおそらくScala 3本体で追加でそういう系の機能が直接入ったりはしてないはずです。 https://docs.scala-lang.org/sc