我应该如何为元组实现 scala 解释器？

Question

我正在实现 scala 解释器，但我遇到了一些问题。

首先，我想实现tuple 类

在我的Value.scala 中，存在跟班：

case class TupleV(values: List[Type]) extends Value

另外，在我的Expr.scala 中，存在跟班

case class TupleE(expressions: List[Type] extends Expr

Type 也在Expr.scala 中，如下所示：

sealed trait Type
case object IntT extends Type
case object BooleanT extends Type
case object TupleT extends Type
case object ListT extends Type
case object FunctionT extends Type

所以，我实现如下：

case TupleE(values)=>TupleV(values)

但它说 List[Expr] found，List[Value] 是必​​需的。我的代码有什么问题？我应该怎么解决？

我还尝试使用 ConsE 和 ConsV 类以不同的方式实现，这使我能够将列表分为头部和尾部：

case class ConsE(head: Expr, tail: Expr) extends Expr//in Expr.scala
case class ConsV(head: Value, tail: Value) extends Value//in Value.scala
case ConsE(head, tail)=>ConsV(interp(head), interp(tail)//my implementation for ConsV interpreter&works well now

我试过了

case TupleE(expression)=>expression match{
  case ConsE(head, tail)=>ConsV(head, tail)
}

但它返回：ConsE 的“构造函数无法实例化为预期类型”错误。我该如何解决？

Answer 1

尝试替换

case class TupleV(values: List[Type]) extends Value

case class TupleE(expressions: List[Type]) extends Expr

与

case class TupleV(values: List[Value]) extends Value 

case class TupleE(expressions: List[Expr]) extends Expr

（这些定义是在练习中给你的，还是你自己可以修改的定义？）

基于

case TupleE(values)=>TupleV(values)

你在写解释器

def interpret(expr: Expr): Value

即继续你在How should I implement "add" interpreter in scala?开始的内容

那么TupleV、TupleE的定义应该在上面。以前他们上面的定义对我来说意义不大。

Type 在您对Expr 进行类型检查时是必需的

def typecheck(expr: Expr): Type // or Option[Type]

那么你将拥有更多的层次结构

case class TupleT(types: List[Type]) extends Type

---

所以，我实现如下：

case TupleE(values)=>TupleV(values)

但它说 List[Expr] found，List[Value] 是必​​需的。是什么 我的代码中的问题？我应该怎么解决？

这是不可复制的。代码编译

https://scastie.scala-lang.org/KWlyFOYDRHOgN6UibVY1pw

我试过了

 case TupleE(expression)=>expression match{   
   case ConsE(head, tail)=>ConsV(head, tail)
 }

但它返回：“构造函数无法实例化为预期类型” ConsE 的错误。

这个错误很明显：在TupleE(expression)expression有类型List[Type]，它不能匹配ConsE，它只能匹配普通的scalaList。