title: Any reason why scala does not explicitly support dependent types?
body: <p>There are path dependent types and I think it is possible to express almost all the features of such languages as Epigram or Agda in Scala, but I'm wondering why Scala does not support <a href="http://en.wikipedia.org/wiki/Dependent_type" rel="noreferrer">this</a> more explicitly like it does very nicely in other areas (say, DSLs) ?
  Anything I'm missing like "it is not necessary" ?</p>