在Scala中可以“咖喱”更高级的类型吗？
发布时间：2020-12-16 09:39:24 所属栏目：安全 来源：网络整理
导读：我们假设我有一个两个类型参数的特征，例如 trait Qux[A,B] 和具有较高种类参数的另一特征，例如。 trait Turkle[C[_]] 我想用一个固定的值替代Qux的一个类型参数，以便它可以用来参数化Turkt。 这是一个例子(在Scala中没有意义的代码)： trait Baz[A] exten
|
我们假设我有一个两个类型参数的特征，例如
trait Qux[A,B] 和具有较高种类参数的另一特征，例如。 trait Turkle[C[_]] 我想用一个固定的值替代Qux的一个类型参数，以便它可以用来参数化Turkt。 这是一个例子(在Scala中没有意义的代码)： trait Baz[A] extends Turkle[Qux[A,_]] 任何人有什么想法如何达到这个效果？ 解决方法
Jason Zaugg提出了最简洁的方法：
trait Baz[A] extends Turkle[({type x[a]=Qux[A,a]})#x]
IntelliJ的Scala插件可以将其折叠为： trait Baz[A] extends Turkle[x[a]=Qux[A,a]] （编辑：李大同） 【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容! |