Namespacing Keys

gistfile1.txt

Interesting thought on how to do namespacing with keys:

class BaseK(name:String) {
  implicit val parent = this
  def value = this.name
}

class K(name:String)(implicit parent: BaseK) extends BaseK(name) {
  override def value = parent.value + "." + name
}

trait k {
  val foo = new BaseK("foo") {
    val bar = new K("bar")
  }
  val baz = new BaseK("baz") {
    val boz = new K("boz")
  }
}

then k.foo.bar.value = "foo.bar"

but k.foo.boz or k.baz.bar would be caught as compile errors.

This has the benefit over our current approach that nesting is guaranteed by the compiler.