是否在Scala中使用上下文绑定或隐式ev

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

导读：根据样式指南 – 是否有一个经验法则是什么应该用于 Scala中的类型类 – 上下文绑定或隐式ev符号？这两个例子也是如此上下文绑定具有更简洁的函数签名,但需要使用隐式调用进行val评估： def empty[T: Monoid,M[_] : Monad]: M[T] = { val M = implicitly[M

根据样式指南 – 是否有一个经验法则是什么应该用于 Scala中的类型类 – 上下文绑定或隐式ev符号？

这两个例子也是如此

上下文绑定具有更简洁的函数签名,但需要使用隐式调用进行val评估：

def empty[T: Monoid,M[_] : Monad]: M[T] = {
    val M = implicitly[Monad[M]]
    val T = implicitly[Monoid[T]]
    M.point(T.zero)
}

隐式ev方法自动将类型类插入函数参数,但污染方法签名：

def empty[T,M[_]](implicit T: Monoid[T],M: Monad[M]): M[T] = {
  M.point(T.zero)
}

我检查的大多数库(例如“com.typesafe.play”%%“play-json”％“2.6.2”)使用隐式ev

你在用什么？为什么？

解决方法

在隐式使用时需要注意的一个警告是使用依赖类型的函数.我将引用“宇航员类型宇航员指南”这本书.它查看Shapeless中的Last类,它检索HList的最后一个类型：

package shapeless.ops.hlist

trait Last[L <: HList] {
  type Out
  def apply(in: L): Out
}

并说：

The implicitly method from scala.Predef has this behaviour (this
behavior means losing the inner type member information). Compare the
type of an instance of Last summoned with implicitly:

implicitly[Last[String :: Int :: HNil]]
res6: shapeless.ops.hlist.Last[shapeless.::[String,shapeless
      .::[Int,shapeless.HNil]]] = shapeless.ops.hlist$Last$$anon$34@20bd5df0

to the type of an instance summoned with Last.apply:

Last[String :: Int :: HNil]
res7: shapeless.ops.hlist.Last[shapeless.::[String,shapeless.HNil]]]{type Out = Int} = shapeless.ops.hlist$Last$$anon$34@4ac2f6f

被隐式召唤的类型没有Out类型成员,这是一个重要的警告,并且通常为什么你会使用不使用上下文边界和隐式的召唤器模式.

除此之外,我发现这通常是一种风格问题.是的,隐式地可能会稍微增加编译时间,但是如果你有一个隐式的富应用程序,你很可能在编译时“感觉”两者之间的差异.

而且更个人而言,有时候隐式写[M [T]]比使方法签名更长一些感觉更“丑陋”,并且当您使用命名字段明确声明隐式时,读者可能会更清楚.

（编辑：李大同）

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