Scala 3中依赖相等单例的依赖类型能否等价？如何解决代码问题？

理论问题：依赖于相等单例对象的依赖类型是否等价？ #

在Scala 3中，默认情况下不等价，核心原因是Scala采用内涵类型论：类型的等价性基于其语法定义路径，而非依赖项的语义相等。即使你通过自定义公理证明了两个单例类型S1 =:= S2，类型检查器不会自动将这种等价性"传递"到它们的依赖类型上——每个单例对象的内部成员类型（比如genInt1.Fn）在语法上是独立的路径，类型检查器不会主动用=:=证据去替换这些路径推导等价性。

实践问题分析：为什么依赖类型等价性无法推导？ #

你编写的allPeersAreEqual仅证明了genInt1.type =:= genInt2.type，但genInt1.Fn[String]和genInt2.Fn[String]是不同的路径类型：它们分别绑定到genInt1和genInt2这两个独立单例对象的内部Fn trait。Scala 3的类型检查器不会自动将单例类型的等式扩展到其内部依赖类型，必须显式提供这种"等式提升"的证据。

解决方案：添加依赖类型等价性公理 #

可以通过两种方式实现：

1. 针对特定依赖类型的显式等价性证据 #

直接为Gen的Fn类型构造等价性证据，利用Scala 3的=:=的liftCo方法将单例类型的等式提升到依赖类型：

object Section {
  implicit def allPeersAreEqual[
      Self <: Section[Self],
      S1 <: Self & Singleton,
      S2 <: Self & Singleton
  ]: (S1 =:= S2) = ???

  // 新增：将单例类型等式提升到Fn依赖类型
  implicit def genFnEquality[T, R, S1 <: Gen[T] & Singleton, S2 <: Gen[T] & Singleton](
    implicit eq: S1 =:= S2
  ): S1#Fn[R] =:= S2#Fn[R] =
    eq.liftCo[[X <: Gen[T]] =>> X#Fn[R]]
}

2. 通用的依赖类型等式提升 #

如果需要支持更多依赖类型，可以利用Scala 3的LiftCo类型类，实现通用的等式传递：

import scala.util.LiftCo

object Section {
  implicit def allPeersAreEqual[
      Self <: Section[Self],
      S1 <: Self & Singleton,
      S2 <: Self & Singleton
  ]: (S1 =:= S2) = ???

  // 通用版本：将单例类型等式提升到任意依赖类型构造器
  implicit def dependentTypeEquality[Self <: Section[Self], F[_ <: Self], R, S1 <: Self & Singleton, S2 <: Self & Singleton](
    implicit eq: S1 =:= S2,
    lift: LiftCo[Self, F, S1, S2]
  ): F[S1] =:= F[S2] =
    lift.coerce(eq)
}

添加上述公理后，就能成功推导：

summon[genInt1.Fn[String] =:= genInt2.Fn[String]] // 现在可以通过编译

注意事项 #

• 这类自定义等价性公理本质是"信任假设"，因为你用???占位（实际相当于引入未证明的公理），运行时需要确保转换的安全性（比如你的convertPeer用了asInstanceOf，需要保证逻辑上确实等价）。
• Scala 3的类型系统对这种手动扩展的等价性支持有限，复杂场景下可能需要更精细的类型证据设计。

内容的提问来源于stack exchange，提问作者tribbloid