无形HList映射

Question

我试试

import shapeless._
val ilist = List(1,2,3) ; 
val slist = List("a", "b", "c") ; 
(ilist :: slist :: HNil).map(list: List[_] => list -> list.length)

编译器说它需要在map函数中输入参数类型，或者在提供类型List[_]时找不到list值。有没有一个简单的映射示例？

普通的 Scala 列表没有这样的问题

    val list1 = 1 :: 2 :: Nil; val list2 = 3 :: 4 :: Nil
    (list1 :: list2 :: Nil) map {list => list -> list.length}

编译正常。

Answer 1

我不是一个无形的专家，但我相信你可以用~>>做到这一点。问题是map接受Poly，所以你需要一个返回常量的Poly函数。这就是~>>。

  import shapeless._
  import poly._
  val ilist = List(1,2,3) ;
  val slist = List("a", "b", "c") ;
  object fun extends (List ~>> Int) {
    override def apply[T](f: List[T]): Int = f.size
  }
  println((ilist :: slist :: HNil).map(fun))

请注意，~>>实际上是：

type ~>>[F[_], R] = ~>[F, Const[R]#λ]