What is meant by Scala’s path-dependent types?

by

My favorite example:

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

So, the type of Coordinate is dependent on the instance of Board from which it was instantiated. There are all sort of things that can be accomplished with this, giving a sort of type safety that is dependent on values and not types alone.

This might sound like dependent types, but it is more limited. For example, the type of occupied is dependent on the value of Board. Above, the last line doesn’t work because the type of c2 is b2.Coordinate, while occupied‘s type is Set[b1.Coordinate]. Note that one can use another identifier with the same type of b1, so it is not the identifier b1 that is associated with the type. For example, the following works:

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

More Related Contents:

  1. What does the `#` operator mean in Scala?
  2. What are some compelling use cases for dependent method types?
  3. Any reason why scala does not explicitly support dependent types?
  4. Unable to map on HList
  5. Why does one select Scala type members with a hash instead of a dot?
  6. How to avoid duplicate columns after join?
  7. Flattening Rows in Spark
  8. Why does pattern matching in Scala not work with variables?
  9. How to pattern match on generic type in Scala?
  10. What is a sealed trait?
  11. How to get around the Scala case class limit of 22 fields?
  12. Linearization order in Scala
  13. Is there a way to control which implicit conversion will be the default used?
  14. Why can’t I return a concrete subtype of A if a generic subtype of A is declared as return parameter?
  15. how to filter out a null value from spark dataframe
  16. Is there a reason not to use SparkContext.getOrCreate when writing a spark job?
  17. What are the various join types in Spark?
  18. What is the rule for parenthesis in Scala method invocation?
  19. How to calculate the size of dataframe in bytes in Spark?
  20. Why does partition parameter of SparkContext.textFile not take effect?
  21. Can I zip more than two lists together in Scala?
  22. Usages of Null / Nothing / Unit in Scala
  23. Cross product in Scala
  24. Spark Scala list folders in directory
  25. Exception in thread “main” java.lang.NoSuchMethodError: scala.Product.$init$(Lscala/Product;)
  26. How to remove parentheses around records when saveAsTextFile on RDD[(String, Int)]?
  27. Reading in multiple files compressed in tar.gz archive into Spark [duplicate]
  28. forall in Scala
  29. Scala asInstanceOf with parameterized types
  30. How do I run an sbt main class from the shell as normal command-line program?

Leave a Comment