Come devo implementare l'interprete "aggiungi" in scala?

Question

Sto implementando scala interpreter e ho qualche problema

Ho una classe di valore come segue in Value.scala:

case class IntV(value: Int) extends Value

Inoltre ho seguito la classe in file Expr.scala:

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

Quando ho implementato l'interprete Int come segue:

case IntE(value)=>IntV(value)

Ha funzionato bene, ma quando ho implementato aggiungi interprete (che fa l'addizione come 3 + 4 = 7) come segue:

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

Restituisce l'errore che dice per le variabili sinistra e destra, richiede Intma ha trovato expr.
Cos'ho fatto di sbagliato? Cosa devo fare per ottenere un reso corretto?

Answer 1

Dovresti chiamare l'interprete in modo ricorsivo.

Per esempio

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 metodo definito +perIntV

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
  }
}