scala - Dotty 如何对多态方法进行脱糖？

Question

据报道，Dotty 将具有类型参数的类脱糖为具有类型成员的类，例如：

class C[T, U] { }
// <=>
class C {
  type C$T
  type C$U
}

Dotty 如何脱糖多态方法，如下例所示？

def m[T, U](x: T, u: U): T = x
// <=>
?

Answer 1

与多态类不同，多态方法不会脱糖。它们基本上保持多态性。

Answer 2

您可能想从Nada Amin、Samuel Grütter、Martin Odersky、Tiark Rompf 和 Sandro Stucki的最新 DOT 论文The Essence of DOT的第 13 页底部第 5.2 节开始。List[+A]它展示了在 Scala中实现一个简单的协变多态类型。特别值得注意的是多态cons[A]方法：

package scala.collection.immutable

trait List[+A] {
  def isEmpty: Boolean
  def head: A
  def tail: List[A]
}

object List {
  def cons[A](hd: A, tl: List[A]) = new List[A] {
    def isEmpty = false
    def head = hd
    def tail = tl
  }
}

以及它是如何在 DOT 中编码的：

let scala_collection_immutable = ν(sci) {
  List = μ(self: {A; isEmpty: bool.Boolean; head: self.A; tail: sci.List∧{A <: self.A}})

cons: ∀(x: {A})∀(hd: x.A)∀(tl: sci.List∧{A <: x.A})sci.List∧{A <: x.A} =
  λ(x: {A})λ(hd: x.A)λ(tl: sci.List∧{A <: x.A})
    let result = ν(self) {
      A = x.A; isEmpty = bool.false; head = hd; tail = tl }
    in result
}: { μ(sci: {
  List <: μ(self: {A; head: self.A; tail: sci.List∧{A <: self.A}})

  cons: ∀(x: {A})∀(hd: x.A)∀(tl: sci.List∧{A <: x.A})sci.List∧{A <: x.A}
})}
in …

这反过来应该让您直观地了解它是如何在 Dotty 中编码的。

然后第 15 页向您展示了如何将脱糖 DOT 映射回 Scala：

object scala_collection_immutable { sci => 
  trait List { self =>
    type A
    def isEmpty: Boolean
    def head: self.A
    def tail: List{type A <: self.A}
  }

  def cons(x: {type A})(hd: x.A)(tl: sci.List{type A <: x.A}) 
    : sci.List{type A <: x.A} = new List{ self =>
    type A = x.A
    def isEmpty = false
    def head = hd
    def tail = tl
  }
}

如您所见，多态方法的编码或多或少与多态特征相同：类型参数成为抽象类型成员，在这种情况下是细化类型（又名结构类型）的抽象类型成员：

x : A
// becomes
x : {type A}