Pytania oznaczone «path-dependent-type»

Co oznaczają typy zależne od ścieżki Scali?

Słyszałem, że Scala ma typy zależne od ścieżki. To ma coś wspólnego z klasami wewnętrznymi, ale co to właściwie oznacza i dlaczego mnie to

Czy jest jakiś powód, dla którego scala nie obsługuje jawnie typów zależnych?

Istnieją typy zależne od ścieżki i myślę, że można wyrazić prawie wszystkie cechy takich języków jak Epigram czy Agda w Scali, ale zastanawiam się, dlaczego Scala nie obsługuje tego bardziej dosłownie, tak jak robi to bardzo ładnie w innych obszarach (powiedzmy , DSL)? Brakuje mi czegoś takiego jak...