Scala 3では、以下のように |
というunion type?or type?という新しい仕様が追加されました。
(仕様というか、少なくとも以下の公式ドキュメントではunionと呼んでるが、Scala 3のquoteのAPI内部ではOrTypeでややこしい)
https://docs.scala-lang.org/scala3/book/types-union.html
Welcome to Scala 3.3.0-RC3 (11.0.18, Java OpenJDK 64-Bit Server VM). Type in expressions for evaluation. Or try :help. scala> List(2, "a") val res0: List[Int | String] = List(2, a)
しかし、これをScala 2でおこなったら、当然以下のように Any
などになります