9

我必須經常在斯卡拉轉置一個「矩形」集合集合,例如:地圖列表,地圖列表,地圖地圖,一組列表,集合映射等等。由於集合可以統一地被視爲從特定域到共同域的映射(例如:List [A]/Array [A]是從Int域到A域的映射,域,Set [A]是從A域到布爾共域等的映射),我想編寫一個乾淨的泛型函數來執行轉置操作(例如:將列表映射到轉置地圖列表)。但是,我遇到了麻煩,因爲除了()運算符之外,Scala似乎沒有統一的API來抽象地將集合視爲映射?在斯卡拉轉置任意集合集合

所以我寫出來一個單獨的轉置爲每種類型的資源集合的,集合如下:

def transposeMapOfLists[A,B](mapOfLists: Map[A,List[B]]) : List[Map[A,B]] = { 
    val k = (mapOfLists keys) toList 
    val l = (k map { mapOfLists(_) }) transpose; 
    l map { v => (k zip v) toMap } 
} 

def transposeListOfMaps[A,B](listOfMaps: List[Map[A,B]]) : Map[A,List[B]] = { 
    val k = (listOfMaps(0) keys) toList 
    val l = (listOfMaps map { m => k map { m(_) } }) transpose; 
    (k zip l) toMap 
} 

def transposeMapOfMaps[A,B,C](mapOfMaps: Map[A,Map[B,C]]) : Map[B,Map[A,C]] = { 
    val k = (mapOfMaps keys) toList 
    val listOfMaps = k map { mapOfMaps(_) } 
    val mapOfLists = transposeListOfMaps(listOfMaps) 
    mapOfLists map { p => (p._1, (k zip p._2) toMap) } 
} 

有人可以幫助我統一這些方法爲一個泛型集合 - 的 - 藏品轉?它也將幫助我(並確信其他人)在此過程中學習一些有用的Scala特性。

ps:我忽略了異常處理,並假定輸入集合的集合是矩形的,即所有內部集合的域元素構成相同的集合。

回答

8

我敢肯定,使用類型類的以下雜亂版本可以清理很多,但它可以作爲一個快速的概念證明。我沒有看到一個簡單的方法來獲取返回類型不正確的方法依賴型(我敢肯定,這是可能的),所以你必須使用-Xexperimental

trait Mapping[A, B, C] { 
    type M[D] <: PartialFunction[A, D] 
    def domain(c: C): Seq[A] 
    def fromPairs[D](ps: Seq[(A, D)]): M[D] 
    def codomain(c: C)(implicit ev: C <:< PartialFunction[A, B]) = 
    domain(c).map(c) 
    def toPairs(c: C)(implicit ev: C <:< PartialFunction[A, B]) = 
    domain(c).map(a => (a, c(a))) 
} 

implicit def seqMapping[A, B <: Seq[A]] = new Mapping[Int, A, B] { 
    type M[C] = Seq[C] 
    def domain(c: B) = 0 until c.size 
    def fromPairs[C](ps: Seq[(Int, C)]) = ps.sortBy(_._1).map(_._2) 
} 

implicit def mapMapping[A, B, C <: Map[A, B]] = new Mapping[A, B, C] { 
    type M[D] = Map[A, D] 
    def domain(c: C) = c.keys.toSeq 
    def fromPairs[D](ps: Seq[(A, D)]) = ps.toMap 
} 

def transpose[A, B, C, M, N](m: M)(implicit 
    pev: M <:< PartialFunction[A, N], 
    qev: N <:< PartialFunction[B, C], 
    mev: Mapping[A, N, M], 
    nev: Mapping[B, C, N] 
) = nev.fromPairs(nev.domain(mev.codomain(m).head).map(b => 
    b -> mev.fromPairs(mev.toPairs(m).map { case (a, c) => a -> c(b) }) 
)) 

現在的一些測試:

scala> println(transpose(List(Map("a" -> 1, "b" -> 13), Map("b" -> 99, "a" -> 14)))) 
Map(a -> Vector(1, 14), b -> Vector(13, 99)) 

scala> println(transpose(Map('a' -> List(1, 2, 3), 'z' -> List(4, 5, 6)))) 
Vector(Map(a -> 1, z -> 4), Map(a -> 2, z -> 5), Map(a -> 3, z -> 6)) 

scala> println(transpose(Map("x" -> Map(4 -> 'a, 99 -> 'z), "y" -> Map(4 -> 'b, 99 -> 's)))) 
Map(4 -> Map(x -> 'a, y -> 'b), 99 -> Map(x -> 'z, y -> 's)) 

因此,它的工作是按照需要的。

+0

謝謝 - 這是非常有用的!我花了相當一段時間才明白你已經完成了什麼,因爲我不熟悉你使用過的Scala的一些高級功能(現在我更加詳細地學習這些功能是一個很好的藉口!)。 – Ashwin