0

这是一个简单的例子：

  trait Base {

    type Out
    def v: Out
  }

  object Base {

    type Aux[T] = Base { type Out = T }

    class ForH() extends Base {

      type Out = HNil

      override def v: Out = HNil
    }

    object ForH extends ForH
  }

  class TypeClass[B]

  trait TypeClassLevel1 {

    def summon[B](b: B)(implicit ev: TypeClass[B]): TypeClass[B] = ev
  }

  object TypeClass extends TypeClassLevel1 {

    implicit def t1: TypeClass[Base.Aux[HNil]] = new TypeClass[Base.Aux[HNil]]

    implicit def t2: TypeClass[Int] = new TypeClass[Int]
  }

  it("No Aux") {

    val v = 2

    TypeClass.summon(v) // works
  }


  it("Aux") {

    val v = new Base.ForH()

    TypeClass.summon(v) // oops
    TypeClass.summon(Base.ForH) // oops

    val v2 = new Base.ForH(): Base.Aux[HNil]
    TypeClass.summon(v2) // works!
  }

对象 Base/ForH 显然有一个稳定的路径，这消除了编译器无法解析 type 的可能性ForH.Out。

困扰我的不是编译器多么无能为力ForH <:< Aux[HNil]，而是通过简单的类型向上转换（最后两行）来修补它是多么容易。恕我直言，这两个特性（类型 lambda 和类型类）都是函数式编程的重要方面，为什么它们不能同时协同工作？

如果您熟悉编译器设计，我会有一个额外的问题：如何改进类型类搜索算法以实现它？非常感谢您的意见。

更新 1：已经提出了一个特定的修复，但我在尝试概括它时遇到了另一个问题，请参阅In scala, how to make type class working for Aux 模式？-详细信息第 2 部分

4

2 回答 2

3

所以编译器能够推断ForH <:< Aux[HNil]，但是（我不知道为什么）当返回类型使用类型 lambda 时解析隐式时，如果你不使用类型绑定，它会感到困惑。

无论如何，这可能不是一个很好的解释，但至少我可以编译你的代码。只需更改t1为：

implicit def t1[T <: Base.Aux[HNil] ]: TypeClass[T] = new TypeClass[T]

这适用于我在 scastie 中使用 Scala 2.13.4。

于 2021-01-22T03:08:59.627 回答
0

困扰我的不是编译器有多么无能ForH <:< Aux[HNil]

当然编译器确实看到了Base.ForH <:< Base.Aux[HNil]。你可以检查一下

implicitly[Base.ForH <:< Base.Aux[HNil]]

编译。

恕我直言，这两个特性（类型 lambda 和类型类）都是函数式编程的重要方面，为什么它们不能同时协同工作？

你为什么说类型 lambdas？我在您的问题中看不到类型 lambdas。

顺便说一句，类型 lambdas 不是 Scala 2 的一部分，而({ type λ[X] = ...F[X]... })#λ类型 lambda 或多或少是一种 hack。实际类型 lambda 已添加到 Scala 3。

val v = new Base.ForH()有类型Base.ForH（不是Base.Aux[HNil]没有通过类型归属val v = new Base.ForH(): Base.Aux[HNil]或手动类型规范向上转换val v: Base.Aux[HNil] = new Base.ForH()）。TypeClass.summon(v)不应该编译，因为没有隐含TypeClass[Base.ForH]的 . 作为候选人，你会考虑什么暗示？TypeClass.t1? 但它不是候选人，你可以检查明确解决

TypeClass.summon(v)(TypeClass.t1)

无法编译。

改进类型类搜索算法以实现它需要什么？

不应该在这个特定的地方改进隐式搜索算法。它按预期正常工作。

您可以使类型类逆变

class TypeClass[-B]

然后TypeClass.t1将成为候选人TypeClass[Base.ForH]并将TypeClass.summon(v)进行编译。

在 scala 2.13 中，如何隐式使用[value singleton type]？

于 2021-02-04T18:48:51.527 回答