¿Cómo debo implementar "agregar" intérprete en scala?

Question

Estoy implementando scala interpreter y tengo algún problema

Tengo la clase de valor de la siguiente manera Value.scala:

case class IntV(value: Int) extends Value

También he seguido la clase en el archivo Expr.scala:

case class IntE(value: Int) extends Expr
case class Add(left: Expr, right: Expr) extends Expr

Cuando implementé Int intérprete de la siguiente manera:

case IntE(value)=>IntV(value)

Funcionó bien, pero cuando implementé agregar intérprete (que hace una suma como 3 + 4 = 7) de la siguiente manera:

case Add(left, right)=>IntV(left)+IntV(right)

Devuelve un error que dice para la variable izquierda y derecha, requiere Intpero encontró expr.
¿Qué hice mal? ¿Qué debo hacer para obtener una devolución correcta?

Answer 1

Debe llamar al intérprete de forma recursiva.

Por ejemplo

sealed trait Value
case class IntV(value: Int) extends Value 

sealed trait Expr
case class IntE(value: Int) extends Expr
case class Add(left: Expr, right: Expr) extends Expr

def interpret(expr: Expr): Value = expr match {
  case IntE(value)      => IntV(value)
  case Add(left, right) => (interpret(left), interpret(right)) match {
    case (IntV(v1), IntV(v2)) => IntV(v1 + v2)
  }
}

interpret(IntE(1)) // IntV(1)
interpret(Add(IntE(3), IntE(4))) // IntV(7)

O con un método definido +paraIntV

sealed trait Value
case class IntV(value: Int) extends Value {
  def +(other: IntV): IntV = IntV(value + other.value)
}

sealed trait Expr
case class IntE(value: Int) extends Expr
case class Add(left: Expr, right: Expr) extends Expr

def interpret(expr: Expr): Value = expr match {
  case IntE(value)      => IntV(value)
  case Add(left, right) => (interpret(left), interpret(right)) match {
    case (v1: IntV, v2: IntV) => v1 + v2
  }
}