1 Scala의 경로 종속 유형은 무엇을 의미합니까? Scala에는 경로 종속 유형이 있다고 들었습니다. 내부 클래스와 관련이 있지만 이것이 실제로 무엇을 의미하며 왜 내가 관심을 갖는가? 125 scala type-systems path-dependent-type
4 스칼라가 종속 유형을 명시 적으로 지원하지 않는 이유는 무엇입니까? 이 경로 의존적 유형은 나는 거의 모든 스칼라에 경구 또는 AGDA와 같은 언어의 특징을 표현하는 것이 가능하다 생각하지만, 스칼라가 지원하지 않는 이유를 궁금 해요 이 는 다른 지역에서 매우 잘하는 것처럼 더 명시 적으로 (예를 들어 , DSL)? "필요하지 않습니다"와 같이 내가 놓친 것이 있습니까? 109 scala path-dependent-type dependent-type shapeless