如Alexej对this question的回答所示，当在Seq[Validation[X, A]]上运行序列时，您需要一个样板明确的类型参数sequence[({type L[Y] = Validation[X, Y]})#L, Y]。
其他数据类型/函数也可能出现同样的需求。
通过改进类型推断消除对此类显式类型的需求相关的问题是：
理论上可以在Scala中进行吗？
如果是，这是否在Scala路线图上？何时可以预期解决方案？
如果不在路线图上，那么解决方案是轻松/中等/难以实现的吗？
仅仅是人类可以做些什么来推进此案吗？
有关此问题的任何指示欢迎。
（Here is a slightly related issue，但不讨论未来的观点）
答案 0 :(得分：0)
retronym在这里说What are type lambdas in Scala and what are their benefits?未来版本的scala可以改善这一点。所以我想可以改进语法。但是，据我所知，由于子类型化，我们在Scala中面临一些不可能性