scala – 为什么列出一个Semigroup,但Seq不是？
|
我对于scalaz来说相当新鲜，我试图找出以下代码为什么工作：
import scalaz._ import Scalaz._ scala> Map[String,List[String]]() |+| Map[String,List[String]]() res3: scala.collection.immutable.Map[String,List[String]] = Map() 但这不… import scalaz._
import Scalaz._
scala> Map[String,Seq[String]]() |+| Map[String,Seq[String]]()
<console>:14: error: value |+| is not a member of scala.collection.immutable.Map[String,Seq[String]]
Map[String,Seq[String]]()
我看到Semigroup隐含的Map，但是我看不到List或Seq的地图。 几个问题： > ListSemigroup隐含在哪里？ 解决方法
所以在Scalaz 7中有一个
implicit
List to Monoid function给你一个Monoid [List [A]]。 Monoid扩展了SemiGroup，所以我们列举了覆盖。
Seq没有得到这种特殊待遇。没有从Seq到Monoid或Semigroup的隐式转换。有一个implicit 为什么Seq不是一个？我不知道。也许Seq违反了一些monoids / semigroups的规律，所以没有转换。在Scalaz 6中似乎有Seq的问题，所以他们已经删除了一些功能： 更新 看看scala文档，变得更加明显，为什么scalaz的人这样走。 List继承了继承Seq的LinearSeq。 IndexedSeq继承Seq。如果要为Seq提供半组，则可以覆盖IndexedSeq或LinearSeq上的任何其他半群，并且两者之间的性能优势将会松动。如果您查看附加的标尺签名，您可以看到他们利用这些性能差异： https://github.com/scalaz/scalaz/blob/scalaz-seven/core/src/main/scala/scalaz/std/List.scala implicit def listMonoid[A]: Monoid[List[A]] = new Monoid[List[A]] {
def append(f1: List[A],f2: => List[A]) = f1 ::: f2
def zero: List[A] = Nil
}
https://github.com/scalaz/scalaz/blob/scalaz-seven/core/src/main/scala/scalaz/std/IndexedSeq.scala implicit def ixSqMonoid[A]: Monoid[IxSq[A]] = new Monoid[IxSq[A]] {
def append(f1: IxSq[A],f2: => IxSq[A]) = f1 ++ f2
def zero: IxSq[A] = empty
}
如果我们深入挖掘，我们看到Seq只实现了++，其列表上的性能比:::的附加操作性能更差。所以，回答你的第二个问题，表现。如果scalaz实现了Seq的半群，那么很可能会导致模糊的性能，因为您只能对索引进行优化。 Iterable有同样的问题。 （编辑：李大同） 【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容! |