この質問に対するアレクセイの回答に見られるように、でシーケンスを実行するSeq[Validation[X, A]]ときは、定型的な明示的な型パラメーターが必要ですsequence[({type L[Y] = Validation[X, Y]})#L, Y]。
他のデータ型/関数でも同じ必要性が生じる可能性があります。
型推論を改善することにより、そのような明示的な型の必要性を排除することに関連する質問は次のとおりです。
Scalaで理論的には可能ですか?
はいの場合、これは Scala ロードマップに含まれていますか? 解決策はいつ期待できますか？
ロードマップにない場合、その解決策は容易か、適度か、達成が難しいか?
単なる人間が事件を進めるために何かできるでしょうか?
この問題に関するポインタは歓迎します。
（これは少し関連する問題ですが、将来の展望については議論していません）