gpt4 book ai didi

scala - 压缩 HList 的推断函数类型

转载 作者:行者123 更新时间:2023-12-04 23:02:16 25 4
gpt4 key购买 nike

感谢 https://github.com/milessabin/shapeless/wiki/Feature-overview:-shapeless-2.0.0我了解如何压缩无形的 HLists:

从 Shapeless 2.0.0-M1 导入一些东西:

import shapeless._
import shapeless.ops.hlist._
import syntax.std.tuple._
import Zipper._

创建两个 HList:
scala> val h1 = 5 :: "a" :: HNil
h1: shapeless.::[Int,shapeless.::[String,shapeless.HNil]] = 5 :: a :: HNil

scala> val h2 = 6 :: "b" :: HNil
h2: shapeless.::[Int,shapeless.::[String,shapeless.HNil]] = 6 :: b :: HNil

压缩它们:
scala> (h1, h2).zip
res52: ((Int, Int), (String, String)) = ((5,6),(a,b))

现在尝试定义一个做同样事情的函数:
scala> def f[HL <: HList](h1: HL, h2: HL) = (h1, h2).zip
f: [HL <: shapeless.HList](h1: HL, h2: HL)Unit

推断的返回类型是 Unit,实际上将 f 应用于 h1 和 h2 就是这样做的:
scala> f(h1, h2)

scala>

在这种情况下,有没有办法定义 f 以便我得到 ((5,6),(a,b)) ?

最终我想要做的是定义一个函数来压缩两个 HLists 然后映射它们,选择基于 _1 或 _2 的抛硬币,这将产生另一个 HL。
object mix extends Poly1 {
implicit def caseTuple[T] = at[(T, T)](t =>
if (util.Random.nextBoolean) t._2 else t._1)
}

在 REPL 中工作正常:
scala> (h1, h2).zip.map(mix)
res2: (Int, String) = (5,b)

但是当我试图将它拉入一个函数时,我被上述问题绊倒了。

谢谢!

最佳答案

您可以使用 Zip 以一种方法包装所有内容。 (或在这种情况下 Zip.Aux )类型类:

import shapeless._, shapeless.ops.hlist._

object mix extends Poly1 {
implicit def caseTuple[T] = at[(T, T)](t =>
if (util.Random.nextBoolean) t._2 else t._1)
}

def zipAndMix[L <: HList, Z <: HList](h1: L, h2: L)(implicit
zipper: Zip.Aux[L :: L :: HNil, Z],
mapper: Mapper[mix.type, Z]
) = (h1 zip h2) map mix

现在假设你有 h1h2在问题中定义,你可以这样写:
scala> zipAndMix(h1, h2)
res0: shapeless.::[Int,shapeless.::[String,shapeless.HNil]] = 5 :: b :: HNil

scala> zipAndMix(h1, h2)
res1: shapeless.::[Int,shapeless.::[String,shapeless.HNil]] = 6 :: a :: HNil

scala> zipAndMix(h1, h2)
res2: shapeless.::[Int,shapeless.::[String,shapeless.HNil]] = 5 :: a :: HNil

等等。这将适用于 2.0.0-M1 或最新快照,尽管(正如我在上面的评论中指出的那样)您可能会在 this bug was fixed 之前遇到令人困惑的问题。 .

关于scala - 压缩 HList 的推断函数类型,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/20447686/

25 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com