Scalaz中的隐含参数

发布时间：2020-12-16 18:29:22 所属栏目：安全来源：网络整理

导读：我试着找出 ? in scalaz.ListW.^ 调用的原因 def ^[B: Zero](f: NonEmptyList[A] = B): B = value match { case Nil = ? case h :: t = f(Scalaz.nel(h,t))} 我的最小理论是： trait X[T]{ def y : T}object X{ implicit object IntX extends X[Int]{ def y

我试着找出 ? in scalaz.ListW.<^>调用的原因

def <^>[B: Zero](f: NonEmptyList[A] => B): B = value match {
  case Nil => ?
  case h :: t => f(Scalaz.nel(h,t))
}

我的最小理论是：

trait X[T]{
   def y : T
}

object X{
  implicit object IntX extends X[Int]{
    def y = 42 
  }
  implicit object StringX extends X[String]{
    def y = "y" 
  } 
}
trait Xs{
  def ys[T](implicit x : X[T]) = x.y 
}

class A extends Xs{
  def z[B](implicit x : X[B]) : B = ys //the call ?
}

哪个产生：

import X._

scala> new A().z[Int]
res0: Int = 42

scala> new A().z[String]
res1: String = y

这有效吗？我可以用更少的步骤获得相同的结果吗？

解决方法

这里的所有都是它的.您可以删除X并保留示例的本质：

object A{
  def ys[T](implicit x : X[T]) = x.y 
}
A.ys

在Scalaz中使用的另一个有趣的方面是,?的类型参数是从表达式的预期类型B推断出来的.

我最近不得不将Zero更改为其类型参数中的不变量.在某些情况下,这实际上打破了这种类型论证的推断能力;你可以在这个example中看到这一点.有一些相关的开放门票有望通过branch的变化来解决.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!