Scala has path dependent types. def foo(a: Bar)(b: a.Baz) = ... Idris' dependent types are more powerful, though @edwinb would probably be the one to expl

Scala has path dependent types. def foo(a: Bar)(b: a.Baz) = ... Idris' dependent types are more powerful, though @edwinb would probably be the one to explain the differences in detail (he gave a talk awhile back on Scala vs. Idris).