Perguntas com a marcação «path-dependent-type»

O que se entende por tipos dependentes de caminho de Scala?

Ouvi dizer que Scala tem tipos dependentes de caminho. Tem algo a ver com classes internas, mas o que isso realmente significa e por que eu me

Alguma razão pela qual o scala não suporta explicitamente tipos dependentes?

Existem tipos dependentes de caminho e acho que é possível expressar quase todos os recursos de linguagens como Epigram ou Agda em Scala, mas estou me perguntando por que Scala não suporta isso de forma mais explícita como faz muito bem em outras áreas (digamos , DSLs)? Algo que estou perdendo como...