Istnieją typy zależne od ścieżki i myślę, że możliwe jest wyrażenie prawie wszystkich funkcji takich języków jak Epigram lub Agda w Scali, ale zastanawiam się, dlaczego Scala nie obsługujeto bardziej wyraźnie, czy robi to bardzo dobrze w innych obszarach (np. DSL)? Wszystko, czego mi brakuje, jak „to nie jest konieczne”?