scala - Prod 在 shapeless 中的 Int 值

Question

玩转 shapeless兴奋的自然数，我想知道什么是获得整数值的最佳方法nats的产物。

摘自 shapeless nat.scala :

trait Prod[A <: Nat, B <: Nat] {
  type Out <: Nat
}

trait ProdAux[A <: Nat, B <: Nat, C <: Nat]

object Prod {
  implicit def prod[A <: Nat, B <: Nat, C <: Nat](implicit diff : ProdAux[A, B, C]) = new Prod[A, B] {
    type Out = C
  }
}

object ProdAux {
  import Nat._0

  implicit def prod1[B <: Nat] = new ProdAux[_0, B, _0] {}
  implicit def prod2[A <: Nat, B <: Nat, C <: Nat, D <: Nat]
    (implicit ev1 : ProdAux[A, B, C], ev2 : SumAux[B, C, D]) = new ProdAux[Succ[A], B, D] {}
}

到目前为止，我已经想出了一个简单的定义

def toInt[A <: Nat, B <: Nat, C <: Nat](p: Prod[A, B])
    (implicit paux: ProdAux[A, B, C], iv: ToInt[C]): Int = iv()

事实上，这种方法需要对等价代码进行一些冗余的实现，例如求和、差异、阶乘等。所以我宁愿能够使用“默认”方法toInt[A <: Nat] .

你会怎么做？是否可以使用内部类型( Prod#Out , Sum#Out , ...)？

Answer 1

抱歉，我之前错过了这个问题(顺便说一句，shapeless mailing list 是问这类问题的好地方)。

我认为您稍微误解了 Prod 类型类的作用:它的实例本身并不是 Nat，它们是两者之间关系的见证三个 Nat，即 (A * B) == C。因此，将 Prod 实例转换为 Int 并没有多大意义。或者更确切地说，如果是这样，那么结果值对应于 A、B 或 C 中的任何一个都同样有意义，或所有这些的三倍。

为了在方法定义中用作证明术语，您所显示的样式与预期的差不多......参见 here举个例子。但很明显，这对于在 REPL 上玩弄东西来说效果不是很好。为了使它更顺畅一些，您可以按照以下方式尝试，

def prod[A <: Nat, B <: Nat](implicit prod : Prod[A, B]) =
  new { def toInt(implicit ti : ToInt[prod.Out]) = ti() }

它允许 REPL 交互，例如，

scala> prod[_2, _3].toInt
res0: Int = 6

如果这仍然不是您想要的，请前往邮件列表并勾勒出您希望能够做什么。