Scala：複数のソースと異種の型を持つクロス（デカルト）プロダクト

Question

異なるトラバースの複数のクロス積を構築しようとしています。望ましい戻り値の型は、入力traversablesの型と一致する型のタプルのトラバーサブルです。たとえば：

List(1, 2, 3) cross Seq("a", "b") cross Set(0.5, 7.3) 

これは、次の3つのソースからのすべての可能な組み合わせでTraversable[(Int, String, Double)]を与える必要があります。 2つのソースのみを組み合わせた場合は、うまくanswered hereでした。

implicit class Crossable[X](xs: Traversable[X]) { 
    def cross[A](ys: Traversable[A]) = for { x <- xs; y <- ys } yield (x, y) 
} 

コメントが簡単に複数のソースの問題に言及したが、私はどちらか一方（型崩れやscalaz、私は「ドンに依存しない解決策を見つけるために探しています：与えられたアイデアがありますTuple22までスケールアップするための定型文を持っている）。私は何をしたいのは、次のようなものです：

implicit class Crossable[X](xs: Traversable[X]) { 
    def cross[A](ys: Traversable[A]) = for { x <- xs; y <- ys } yield (x, y) 
    def cross[A,B](ys: Traversable[(A,B)]) = // ... extend all Tuple2's in ys with x in xs to Tuple3's 
    def cross[A,B,C](ys: Traversable[(A,B,C)]) = // ... 
    // ... 
} 

これは明らかに伴う型消去に動作しません（と、残念ながら、おそらくcrossは右結合になるので、上記の例では、括弧を使用する必要があります）。

私の質問です：問題を解決するためにScala 2.10のリフレクション機能を利用することはどういうことですか？一般に、AとXの両方をさまざまなタプルタイプ（およびそのタイプパラメータ、これは難しいと思われる）にマッチさせ、それらを大きなタプルにマージすると、連想法を満たす解決策が提供されるはずです。

Answer 1

私はそれで行くを持っていたし、この思い付いた：

trait Crosser[A,B,C] { 
    def cross(as: Traversable[A], bs: Traversable[B]): Traversable[C] 
} 

trait LowPriorityCrosserImplicits { 
    private type T[X] = Traversable[X] 

    implicit def crosser2[A,B] = new Crosser[A,B,(A,B)] { 
    def cross(as: T[A], bs: T[B]): T[(A,B)] = for { a <- as; b <- bs } yield (a, b) 
    } 
} 

object Crosser extends LowPriorityCrosserImplicits { 
    private type T[X] = Traversable[X] 

    implicit def crosser3[A,B,C] = new Crosser[(A,B),C,(A,B,C)] { 
    def cross(abs: T[(A,B)], cs: T[C]): T[(A,B,C)] = for { (a,b) <- abs; c <- cs } yield (a, b, c) 
    } 

    implicit def crosser4[A,B,C,D] = new Crosser[(A,B,C),D,(A,B,C,D)] { 
    def cross(abcs: T[(A,B,C)], ds: T[D]): T[(A,B,C,D)] = for { (a,b,c) <- abcs; d <- ds } yield (a, b, c, d) 
    } 

    // and so on ... 
} 

implicit class Crossable[A](xs: Traversable[A]) { 
    def cross[B,C](ys: Traversable[B])(implicit crosser: Crosser[A,B,C]): Traversable[C] = crosser.cross(xs, ys) 
} 

主なアイデアは、型クラス（Crosser）に作業を延期し、単にTraversable秒間特化して、すべての異なるアリティを実装することです対応するアリティから1を引いたタプルの数。 REPLでのいくつかのテスト：

scala> List(1, 2, 3) cross Seq("a", "b") cross Set(0.5, 7.3) 
res10: Traversable[(Int, String, Double)] = List((1,a,0.5), (1,a,7.3), (1,b,0.5), (1,b,7.3), (2,a,0.5), (2,a,7.3), (2,b,0.5), (2,b,7.3), (3,a,0.5), (3,a,7.3), (3,b,0.5), (3,b,7.3))