Scala компилятор говорит недостижимый код, почему?

Я новичок в Scala... Вот код:

  def ack2(m: BigInt, n: BigInt): BigInt = {
      val z = BigInt(0)
      (m,n) match {
          case (z,_) => n+1
          case (_,z) => ack2(m-1,1) // Compiler says unreachable code on the paren of ack2(
          case _ => ack2(m-1, ack2(m, n-1)) // Compiler says unreachable code on the paren of ack2(
      }
  }

Я пытаюсь понять это... почему он дает эту ошибку?

Примечание: я использую Scala Плагин Eclipse 2.8.0.r21376-b20100408034031 ch.epfl.lamp.sdt.feature.group

Ответ 1

Z внутри совпадения шаблонов не относится к объявленному вами z, он вводит новую привязку переменной. Таким образом, первый случай будет соответствовать каждой возможной паре (привязка z к первому элементу пары и отбрасывание второго), а другие случаи никогда не будут достигнуты.

Если вы замените z в шаблоне

`z`

он будет ссылаться на существующий z и не вводить новое связывание, поэтому он будет работать так, как вы намереваетесь. Вы также можете переименовать z в Z, если вам не нравится синтаксис с обратными окнами.