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 。不过，对于您的用例来说，类似的事情可能有点过分了。