New posts in path-dependent-type

Any reason why scala does not explicitly support dependent types?

scala path-dependent-type dependent-type shapeless

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

scala type-systems path-dependent-type