Scalaz 中的隐式参数答案

【问题标题】：Implicit parameter in ScalazScalaz 中的隐式参数
【发布时间】：2011-02-14 08:43:11
【问题描述】：

我试图找出调用 ∅ 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

这有效吗？我可以用更少的步骤达到同样的效果吗？

【问题讨论】：

标签： scala types scalaz

【解决方案1】：

仅此而已。您可以删除Xs 并保留示例的精髓：

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

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

我最近不得不更改 Zero 使其类型参数不变。在某些情况下，这实际上破坏了这种类型参数的推断能力；你可以在example 中看到这一点。有一些相关的未决票，希望通过此branch 的更改来解决。

【讨论】：