すごいE本の30.6章の「選択的な節を持つ型」 (p.538) をScalaでも

AlternativeClausesType.scala

// すごいE本の30.6章の「選択的な節を持つ型」 (p.538) をScalaでも
object AlternativeClausesType {
  def main() = {
    val List(_, _) = convert(('a, 'b))
    val (_, _)     = convert(List('a, 'b))
    val List(_, _) = convert(List('a, 'b)) // <- 型エラーにできる
    val (_, _)     = convert(('a, 'b))     // <- 型エラーにできる
  }
  
  def convert(xy: (Symbol, Symbol)): List[Symbol] = xy match {
    case (x, y) => List(x, y)
  }
  def convert(xy: List[Symbol]): (Symbol, Symbol) = xy match {
      case List(x, y) => (x, y)
  }
}