Scalaz에 대한 Scala의 유추 상태

Question

this question에 대한 Alexej의 대답에서 볼 수 있듯이 Seq[Validation[X, A]]에서 시퀀스를 실행할 때 boilerplaty 명시 적 유형 매개 변수 sequence[({type L[Y] = Validation[X, Y]})#L, Y]이 필요합니다.

다른 데이터 유형/기능과 동일한 필요성이 발생할 수 있습니다. 타입 추론을 개선을 통해 이러한 명시 적 유형에 대한 필요성을 제거 관련

질문은 : 그것은 스칼라에서 할 수 이론적으로

• 인가?

• 그렇다면 스칼라 로드맵에 있습니까? 해결책은 언제있을 수 있습니까?

• 로드맵에없는 경우 솔루션을 쉽게/보통/달성하기가 어렵습니까?

• 단순한 인간이 그 사건을 진전시키기 위해 무엇인가 할 수 있습니까?

문제에 관한 모든 안내는 환영합니다.

(Here is a slightly related issue하지만, 미래의 관점을 논의하지 않음)

Answer 1

retronym 여기에 스칼라의 이후 버전이를 개선 할 수 What are type lambdas in Scala and what are their benefits? 말한다. 그래서 구문을 개선하는 것이 가능하다고 생각합니다. 그러나, 이해하는 한, 우리는 스칼라에서 subtyping으로 인해 불가능한 문제에 직면하고 있습니다.