scala - 提供附加参数以映射到 HList

Question

我想做这样的事情:

def run(subjects: List[Subject]) = {
  val configs = compute()
  subjects.map(s => configs.map(c => test(s,c)))
  // or flatMap, I don't really care at this point
}

在我的用例中，主题实际上是 Subject[T]我需要一个类型安全版本的 T结果中。所以我有:

def run[L <: HList](subjects: L)(implicit mapper: Mapper[testFun.type, L]) = {
  val configs = compute()
  subjects.map(testFun)
}

但是，现在我无法将配置传递给 testFun其中，根据 this post , 需要有一个单例类型。

一种选择是:

val cfgHL = HList.fill(subjects.length)(configs)
(subjects zip cfgHL).map(testFun)

但是 HList当前没有 fill操作。任何提示？

Answer 1

您可以使用 mapConst 来完成与 fill 相同的事情。如果我们有以下几点:

val xs = 1 :: 'a :: 'a' :: HNil

我们可以写:

scala> xs.zip(xs mapConst "x") == (1, "x") :: ('a, "x") :: ('a', "x") :: HNil
res0: Boolean = true

请注意，还有其他方法可以解决部分应用(更高等级)多态函数然后使用它们进行映射的问题——例如参见 my answer here 。不过，对于您的用例来说，这样的事情可能有点过头了。