Question

嗨，我一直试图统一嵌套地图的集合。所以我想实现一个带签名的方法：

def unifyMaps(seq: Seq[Map[String, Map[WordType, Int]]]): Map[String, Map[WordType, Int]]

（WordType是Java Enum。）第一种方法是手动地图合并。

def unifyMapsManually(seq: IndexedSeq[Map[String, Map[WordType, Int]]]): Map[String, Map[WordType, Int]] = {
  seq reduce { (acc, newMap) =>
    acc ++ newMap.map { case (k, v) =>
      val nestedMap = acc.getOrElse(k, Map.empty)
      k -> (nestedMap ++ v.map { case (k2, v2) => k2 -> (nestedMap.getOrElse(k2, 0) + v2) })
    }
  }
}

它有效，但我在这里做的是递归地应用完全相同的模式，所以我认为我做了一个递归通用版本。第二种方法：

def unifyTwoMapsRecursively(m1: Map[String, Map[WordType, Int]], m2: Map[String, Map[WordType, Int]]): Map[String, Map[WordType, Int]] = {
  def unifyTwoMaps[K, V](nestedMapOps: (V, (V, V) => V))(m1: Map[K, V], m2: Map[K, V]): Map[K, V] = {
    nestedMapOps match {
      case (zero, add) =>
        m1 ++ m2.map { case (k, v) => k -> add(m1.getOrElse(k, zero), v) }
    }
  }
  val intOps = (0, (a: Int, b: Int) => a + b)
  val mapOps = (Map.empty[WordType, Int], unifyTwoMaps(intOps) _)
  unifyTwoMaps(mapOps)(m1, m2)
}

但它失败了：

Error:(90, 18) type mismatch;
 found   : (scala.collection.immutable.Map[pjn.wierzba.DictionaryCLP.WordType,Int], (Map[Nothing,Int], Map[Nothing,Int]) => Map[Nothing,Int])
 required: (scala.collection.immutable.Map[_ <: pjn.wierzba.DictionaryCLP.WordType, Int], (scala.collection.immutable.Map[_ <: pjn.wierzba.DictionaryCLP.WordType, Int], scala.collection.immutable.Map[_ <: pjn.wierzba.DictionaryCLP.WordType, Int]) => scala.collection.immutable.Map[_ <: pjn.wierzba.DictionaryCLP.WordType, Int])
    unifyTwoMaps(mapOps)(m1, m2)
                 ^

好吧，我不知道地图键的上限，但是curry函数显然没有正确推断。我与intOps有类似的错误，因此我尝试提供确切的类型：

val mapOps = (Map.empty[WordType, Int], unifyTwoMaps(intOps)(_: Map[String, Map[WordType, Int]], _: Map[String, Map[WordType, Int]]))

但是这次它失败了：

Error:(89, 67) type mismatch;
 found   : Map[String,Map[pjn.wierzba.DictionaryCLP.WordType,Int]]
 required: Map[?,Int]
    val mapOps = (Map.empty[WordType, Int], unifyTwoMaps(intOps)(_: Map[String, Map[WordType, Int]], _: Map[String, Map[WordType, Int]]))
                                                                  ^

而这次我完全不知道接下来应该尝试什么。

编辑：我已找到问题的解决方案，但我仍然想知道为什么我会在此代码段中出现类型不匹配错误：

val mapOps = (Map.empty[WordType, Int], unifyTwoMaps(intOps) _)

根据this answer scala类型推断工作每个参数的列表 - 这正是我在这里为了讨论目的而做的事情。我的unifyTwoMaps函数有两个参数＆＃39;列表，我试图推断第二个。

Answer 1

通用递归解决方案的解决方案

好的，所以在上午度过之后，我终于明白我提供了错误的确切类型。

val mapOps = (Map.empty[WordType, Int], unifyTwoMaps(intOps)(_: Map[String, Map[WordType, Int]], _: Map[String, Map[WordType, Int]]))

应该

val mapOps = (Map.empty[WordType, Int], unifyTwoMaps(intOps)(_: Map[WordType, Int], _: Map[WordType, Int]))

因为我需要传递Map V，Map[WordType, Int]的类型，而不是整个外部地图的类型。现在它有效！

解决嵌套地图合并的潜在问题

好吧，抽象地图＆＃39; V zero和add应响铃，我一直在重塑Monoid。所以我想我会尝试this answer的Scalaz |+| Semigroups算子解决方案。

import scalaz.Scalaz._
def unifyMapsWithScalaz(seq: Seq[Map[String, Map[WordType, Int]]]): Map[String, Map[WordType, Int]] = {
  seq reduce (_ |+| _)
}

它有效！

有趣的是，我在尝试使用我的解决方案之前已经看到过该帖子，但我认为我不确定它是否适用于嵌套数据结构，尤其是我的地图＆＃39; s键是Java Enum。我以为我必须提供一些扩展Semigroups类型类的自定义实现。
但事实证明，在我重新发明轮子的实现过程中，枚举只需要作为传递类型和地图键，它就可以很好地工作。干得好Scalaz！

嗯，实际上，这会发表一篇好文章......

编辑：但我仍然不明白为什么我首先遇到这种类型的推理问题，我已经更新了这个问题。

在Scala中推断泛型类型参数

1 个答案:

通用递归解决方案的解决方案

解决嵌套地图合并的潜在问题