タグ付けされた質問 「path-dependent-type」

Scalaにはパスに依存する型があると聞きました。これは内部クラスと関係がありますが、これは実際に何を意味し、なぜ私は気にするのですか？

125 scala  type-systems  path-dependent-type 

パスに依存するタイプがあり、EpigramやAgdaなどの言語のほぼすべての機能をScalaで表現することは可能だと思いますが、Scalaが他の領域で非常にうまく機能するように、Scalaがこれをより明示的にサポートしない理由を知りたいと思います（たとえば、DSL）？「それは必要ない」のように私が欠けているものはありますか？

109 scala  path-dependent-type  dependent-type  shapeless