Question

我正在玩路径依赖类型，并对一个简单的案例感到困惑，其中类型推断无法帮助我，我不知道应该如何手动指定类型

final class Dependency[A]() {
  final case class Box protected[Dependency] (data : A)
  def box(data : A) : Box = Box(data)
  def unbox(box : Box) : A = box.data
}

def correct() {
  val dep = new Dependency[Int]
  val u = dep.box(0)
  val v = dep.unbox(u)
}

object InCorrect {
  def wrap(src : Int) = { // what return type should be here?
    val dep = new Dependency[Int]
    val box = dep.box(src)
    (dep, box)
  }
  def unwrap() {
    val (dep,box) = wrap(0)
    val v = dep.unbox(box) //type mismatch found
  }
}

我只是将一个函数拆分为两个，并且两个调用之间的类型信息丢失。我怎样才能重建呢？

Answer 1

至于返回类型：

def wrap(src: Int): (Dependency[Int], Dependency[Int]#Box) = {
  val dep = new Dependency[Int]
  val box = dep.box(src)
  (dep, box)
}

至于从元组中获取值：

def unwrap() = {
  val x = wrap(20)

  val (dep, _) = x
  val (_, box: dep.Box) = x

  val v = dep.unbox(box)
  v
}

因此，此变通方法将第一个值拉出，并在类型ascription中使用其类型来获取第二个值。

正确指定路径依赖类型注释

1 个答案: