Scala的路径依赖类型是什么意思?

时间:2010-04-22 17:32:16

标签: scala type-systems path-dependent-type

我听说Scala有路径依赖类型。这与内部阶级有关,但这实际上意味着什么,为什么我关心?

1 个答案:

答案 0 :(得分:152)

我最喜欢的例子:

case class Board(length: Int, height: Int) {
  case class Coordinate(x: Int, y: Int) { 
    require(0 <= x && x < length && 0 <= y && y < height) 
  }
  val occupied = scala.collection.mutable.Set[Coordinate]()
}

val b1 = Board(20, 20)
val b2 = Board(30, 30)
val c1 = b1.Coordinate(15, 15)
val c2 = b2.Coordinate(25, 25)
b1.occupied += c1
b2.occupied += c2
// Next line doesn't compile
b1.occupied += c2

因此,Coordinate的类型取决于实例化它的Board实例。有各种各样的事情可以通过这种方式来完成,提供一种依赖于价值的类型安全,而不仅仅是类型。

这可能听起来像是依赖类型,但它更有限。例如,occupied的类型取决于Board的值。上面,最后一行不起作用,因为c2的类型是b2.Coordinate,而occupied的类型是Set[b1.Coordinate]。请注意,可以使用具有相同类型b1的其他标识符,因此不是与该类型关联的标识符 b1。例如,以下工作:

val b3: b1.type = b1
val c3 = b3.Coordinate(10, 10)
b1.occupied += c3