Question

是否可以定义列表类型，其中每对连续元素满足某种关系（约束）。例如，可以组成函数的函数列表：

val f1: A => B = ???
val f2: B => C = ???
val f3: C => D = ???

type SafeList = ??? // how to define this?

val fs: SafeList = f1 :: f2 :: f3 :: HNil // OK

val fs: SafeList = f1 :: f3 :: HNil       // ERROR

Answer 1

通常不可能使用类型别名来描述这样的有趣约束 - 相反，您需要一个类型类作为类型具有某些属性的证据。

使用Shapeless，通常可以使用图书馆提供的类型类来实现这一目标，但我不认为这就是这种情况。幸运的是，编写自己的文章并不难：

import shapeless._

// Evidence that an hlist is made up of functions that can be composed.
trait Composable[L <: HList] {
  type In
}

object Composable {
  type Aux[L <: HList, In0] = Composable[L] { type In = In0 }

  implicit def composable0[A, B]: Aux[(A => B) :: HNil, A] =
    new Composable[(A => B) :: HNil] {
      type In = A
    }

  implicit def composable1[A, B, T <: HList]
    (implicit tc: Aux[T, B]): Aux[(A => B) :: T, A] =
      new Composable[(A => B) :: T] {
        type In = A
      }
}

def composable[L <: HList: Composable] {}

我们在这里做的是描述如何以单身HList作为基本案例来归纳地建立证据。在每一步，我们使用In类型成员来跟踪下一个（即列表中较早的）函数的输出类型必须是什么。

并确认它符合我们的预期：

scala> composable[(Int => String) :: (String => Char) :: HNil]

scala> composable[(Int => Long) :: (Long => Char) :: (Char => String) :: HNil]

scala> composable[(Int => String) :: (Symbol => Char) :: HNil]
<console>:23: error: could not find implicit value for evidence parameter...

前两个工作正常，而第三个没有编译。

列出连续元素的类型约束

1 个答案: