斯卡拉的斯卡拉斯類型推斷的狀態

Question

如在Alexej的回答this question，當在Seq[Validation[X, A]]上運行序列時，您需要一個boilerplaty顯式類型參數sequence[({type L[Y] = Validation[X, Y]})#L, Y]。

其他數據類型/函數可能會發生同樣的需求。

有關通過提高類型推斷省去了這樣的明確的類型，需要的問題是：

• 它是理論上可以在斯卡拉辦？

• 如果是的話，這對Scala的路線圖？何時可以預期解決方案？

• 如果不是在路線圖上，則是解決易/中/難以實現？

• 單純的人類可以做任何事情來推動案件嗎？

任何關於該問題的指針歡迎。

（Here is a slightly related issue，但不是在討論未來的角度）

Answer 1

返璞詞說，在這裏What are type lambdas in Scala and what are their benefits?是斯卡拉的未來版本可能會改善這一點。所以我猜想可以改進語法。但是，據我瞭解，我們正面臨一些斯卡拉不可能由於子類型