多个隐式转换的交叉点:重新发明轮子？

Question

好的,公平的警告:这是我上周的荒谬问题的后续行动.虽然我认为这个问题并不荒谬.无论如何,这里是:

以前荒谬的问题:

假设我有一些T带有子类的基本特征A,B并且C,我可以声明一个集合Seq[T],例如,可以包含类型的值A,B和C.让子类型更明确,让我们使用Seq[_ <: T]类型绑定语法.

现在假设我有一个TC[_]带有成员的类型类A,B并且C(其中"成员"表示编译器可以TC[A]在隐式作用域中找到一些等等).与上面类似,我想Seq[_ : TC]使用上下文绑定语法声明一个类型的集合.

这不是合法的Scala,并且试图模仿可能会让你觉得自己是一个坏人.请记住,上下文绑定语法(正确使用时!)desugars到正在定义的类或方法的隐式参数列表,这在这里没有任何意义.

新前提:

因此,我们假设类型类实例(即隐式值)是不可能的,而在这种情况下我们需要使用隐式转换.我有一些类型V("v"应该代表"view",fwiw),以及范围内的隐式转换A => V,B => V以及C => V.现在我可以填充一个Seq[V],尽管如此A,B并且C不相关.

但是,如果我想要什么东西都是隐式转换既视图的集合V1和V2？我不能说Seq[V1 with V2]因为我的隐含转换并没有神奇地聚合这种方式.

隐式转换的交集？

我这样解决了我的问题:

// a sort of product or intersection, basically identical to Tuple2
final class &[A, B](val a: A, val b: B)

// implicit conversions from the product to its member types
implicit def productToA[A, B](ab: A & B): A = ab.a
implicit def productToB[A, B](ab: A & B): B = ab.b

// implicit conversion from A to (V1 & V2)
implicit def viewsToProduct[A, V1, V2](a: A)(implicit v1: A => V1, v2: A => V2) =
  new &(v1(a), v2(a))

现在我可以Seq[V1 & V2]像老板一样写作.例如:

trait Foo { def foo: String }
trait Bar { def bar: String }

implicit def stringFoo(a: String) = new Foo { def foo = a + " sf" }
implicit def stringBar(a: String) = new Bar { def bar = a + " sb" }
implicit def intFoo(a: Int) = new Foo { def foo = a.toString + " if" }
implicit def intBar(a: Int) = new Bar { def bar = a.toString + " ib" }

val s1 = Seq[Foo & Bar]("hoho", 1)
val s2 = s1 flatMap (ab => Seq(ab.foo, ab.bar))
// equal to Seq("hoho sf", "hoho sb", "1 if", "1 ib")

从隐式转换String和Int输入Foo & Bar发生填充序列时,然后从隐式转换Foo & Bar到Foo和Bar调用时发生foobar.foo和foobar.bar.

目前荒谬的问题:

1. 有没有人在任何地方实现过这种模式,或者我是第一个这样做的人？
2. 是否有一种更为简单的方法可以让我盲目地错过这种方式？
3. 如果没有,那么我将如何实现更一般的管道,这样我可以写Seq[Foo & Bar & Baz]？这似乎是HList... 的工作
4. 额外的超级组合奖励:在实施更一般的管道时,我可以将类型限制为独特吗？例如,我想禁止Seq[Foo & Foo].

附录失败:

我的最新尝试(要点).并不可怕,但有两件事我不喜欢:

• 该Seq[All[A :: B :: C :: HNil]]语法(我想要的HList东西是不透明的,而喜欢Seq[A & B & C])
• abc[A].a转换所需的显式类型注释().看起来你可以有类型推断或隐式转换,但不是两者......无论如何,我无法弄清楚如何避免它.

Answer 1

我可以对第 4 点给出部分答案。这可以通过应用以下技术来获得：

http://vpatryshev.blogspot.com/2012/03/miles-sabins-type-negation-in-practice.html