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).