使用模式匹配求解 scala 中的某些方程

Question

我对 Scala 非常陌生，在阅读 ScalaTutorial.pdf 时第 6 节：案例类和模式匹配

我没有找到有关如何运行其示例的信息，即：

package my

abstract class Tree
case class Sum(l: Tree, r: Tree) extends Tree
case class Var(n: String) extends Tree 
case class Const(i: Int) extends Tree 

object TestTree {

  type Environment = String => Int

  def eval(t: Tree, env: Environment): Int = t match {
    case Sum(l, r) => eval(l, env) + eval(r, env)
    case Var(n) => env(n)
    case Const(v) => v
  }

  def main(args: Array[String]){

    val s : Sum = Sum(Var("x"), Const(10))
    // Then how to define a variable of type environment to pass it to the `eval` function:
    //eval(s, Environment) ??
  }
}

我不知道如何将环境传递给 eval 函数

Answer 1

type Environment = String => Int

这表示 Environment 类型等于 String => 类型。 Int，即采用String并返回Int的函数类型。需要注意的是，在 Scala 中，map 是一种函数（也就是说 Map[K,V] 是 K => V 的子类型）。因此，任何采用函数作为参数的函数也可以采用映射。

因此，要使用 eval，您可以向其传递 String => 类型的函数。 Int，它可能是您定义的实际函数，它接受一个字符串并返回一个 int，也可能是一个将字符串映射到整数的映射。