如何解决使用多态函数映射泛型元组
Scala 3 提供了类似于无形 HList
的 polymorphic functions 和 Tuples:
scala> 1 *: "foo" *: Tuple()
val res0: (Int,String) = (1,foo)
scala> val f: ([T] => T => Option[T]) = [T] => (v: T) => Some(v)
val f: polyFunction{apply: [T](x$1: T): Option[T]} = <function1>
scala> res0.map(f)
val res1: Option[Int] *: Option[String] *: EmptyTuple = (Some(1),Some(foo))
我们如何使用 Scala 3 功能重新实现以下无形的 example?
import poly._
object choose extends (Set ~> Option) {
def apply[T](s : Set[T]) = s.headOption
}
scala> val sets = Set(1) :: Set("foo") :: HNil
sets: Set[Int] :: Set[String] :: HNil = Set(1) :: Set(foo) :: HNil
scala> val opts = sets map choose
opts: Option[Int] :: Option[String] :: HNil = Some(1) :: Some(foo) :: HNil
换句话说,我们怎么能做出像这样编译的东西
scala> val choose: ([T] => Set[T] => Option[T]) = [T] => (s: Set[T]) => s.headOption
val choose: polyFunction{apply: [T](x$1: Set[T]): Option[T]} = <function1>
scala> val sets = Set(1) *: Set("foo") *: Tuple()
val sets: (Set[Int],Set[String]) = (Set(1),Set(foo))
scala> sets.map(choose)
1 |sets.map(choose)
| ^^^^^^
| Found: (choose : polyFunction{apply: [T](x$1: Set[T]): Option[T]})
| required: polyFunction{apply: [t](x$1: t): Any}
解决方法
Shapeless map
比 Scala 3 元组 map
更神奇,后者的签名是:
def map[F[_]](f: [t] => (x$1: t) => F[t]): Map[Tuple,F]
Map[Tuple,F]
是一个特殊的 match type,它基本上是每个参数类型都包含在 F[_]
中的元组。问题在于形状,t => F[t]
可以防止过于花哨。
当然,F
本身可以是一个匹配类型:
type Choose[T] = T match {
case Set[a] => Option[a]
}
def choose[T](t: T): Choose[T] = t match
case set: Set[a] => set.headOption
// messy,but it works
@main def run =
val sets = Set(1) *: Set("foo") *: Tuple()
println(sets.map([T] => (t: T) => choose(t)))
目前有 an issue 编译器不会从方法推断多态函数。匹配类型也不是完全类型安全的,例如执行 choose("string")
会编译但会抛出 MatchError。我还遇到了从多态函数值推断匹配类型的问题,因此使用了 def
方法。
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。