在scala中组成一系列可变类型的功能

时间:2018-06-21 08:27:34

标签: scala types higher-order-functions function-composition

我想做的是对数据集应用一系列转换,其中每个函数获取上一步的输出并将其转换为下一步。例如

val f1: Function1[Int, Double] = _ / 2d
val f2: Function1[Double, BigDecimal] = x=>BigDecimal(x - 2.1)
val f3: Function1[BigDecimal, String] = _.toString

val chained = (f1 andThen f2 andThen f3)(_)

println(chained(10))

我想要的是一个函数f,该函数接受一个输入Seq(f1,f2,...)并返回它们的链接,其中f1,f2,... fn都不具有相同的输入,并且相同的输出类型T。但是它们是可组合的,例如:

f1: Function1[A,B]
f2: Function1[B,C]
f3: Function1[C,D]

然后链接函数将返回一个函数     f:[A,D]。

谢谢, Z

1 个答案:

答案 0 :(得分:1)

此处有两个解决方案建议:

  1. 需要特殊种类的列表的解决方案,该列表可以跟踪功能链中的所有类型。
  2. 一个asInstanceOf繁重的解决方案,适用于普通列表。

跟踪所有中间结果类型

普通列表将无法跟踪所有中间结果的类型。这是跟踪所有这些类型的函数的列表:

sealed trait Func1List[-In, +Res] {
  def ::[I, O <: In](h: I => O): Func1List[I, Res] = ConsFunc1(h, this)
}
object Func1List {
  def last[In, Res](f: In => Res): Func1List[In, Res] = LastFunc1(f)
  def nil[A]: Func1List[A, A] = LastFunc1(identity)
}

case class LastFunc1[-In, +Res](f: In => Res) 
  extends Func1List[In, Res]
case class ConsFunc1[-In, Out, +Res](head: In => Out, tail: Func1List[Out, Res]) 
  extends Func1List[In, Res]

现在,对于Func1List,我们可以定义一个连接所有元素的函数:

def andThenAll[A, Z](fs: Func1List[A, Z]): A => Z = fs match {
  case LastFunc1(f) => f
  case c: ConsFunc1[A, t, Z] => c.head andThen andThenAll[t, Z](c.tail)
}

一点测试:

val f1: Function1[Int, Double] = _ / 2d
val f2: Function1[Double, BigDecimal] = x => BigDecimal(x - 2.1)
val f3: Function1[BigDecimal, String] = _.toString

val fs = f1 :: f2 :: Func1List.last(f3)
val f = andThenAll(fs)

println(f(42)) // prints 18.9

只需asInstanceOf所有东西

精简程度略低,但解决方案短得多:

def andThenAll[X, Y](fs: List[_ => _]): X => Y = fs match {
  case Nil => (identity[X] _).asInstanceOf[X => Y]
  case List(f) => f.asInstanceOf[X => Y]
  case hd :: tl => hd match {
    case f: Function1[X @unchecked, o] => f andThen andThenAll[o, Y](tl)
  }
}

这也将导致18.9

println(andThenAll[Int, String](List(f1, f2, f3))(42))