scala – 部分应用类型参数
发布时间：2020-12-16 09:11:03 所属栏目：安全 来源：网络整理
导读：我拼命地试图解决以下问题： trait Access[Res[_]] { def access[C]: Res[C] }trait CList[C1,A] extends Access[CList[_,A]] // ?!def test[C1,C2,A](c: CList[C1,A]): CList[C2,A] = c.access[C2] scalac只是说：“错误：涉及特征CList的非法循环引用”.我
|
我拼命地试图解决以下问题：
trait Access[Res[_]] { def access[C]: Res[C] }
trait CList[C1,A] extends Access[CList[_,A]] // ?!
def test[C1,C2,A](c: CList[C1,A]): CList[C2,A] = c.access[C2]
scalac只是说：“错误：涉及特征CList的非法循环引用”.我该怎么做这个编译？ 解决方法
您可能对lambdas类型感兴趣.您在答案中使用的部分应用实际上是
implemented in scalaz.
由于代码往往变得不太可读,所以他们开始使用类型lambdas.有问题的类型可以写成 ({type λ[α] = CList[α,A]})#λ
这可以通过在结构类型中的参数化类型λ上创建类型投影,从而捕获外部类型参数(在这种情况下为A). 您的答案中描述的方差的其他问题可以通过使Access中的Res参数协方差来解决. 这些更改后,您的代码应如下所示： trait Access[+Res[_]] { def access[C] : Res[C]}
trait CList[C,+A] extends Access[({type λ[α] = CList[α,A]})#λ]
（编辑：李大同） 【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容! |