我知道这在LISP中是微不足道的,但是Scala具有强大的类型系统,这使我怀疑这种函数是否可能。如果不可能,宏呢?Scala宏可以做到这一点吗?
ps:这是clojure中的功能:
(fn [f](fn f* [& args] (apply f (reverse args))))
主要难度是您必须通过反向参数找出功能的类型,并且在没有宏的情况下,不可能这样做。
但是,由于Scala仅支持多达22个参数的函数,因此您只能为所有可能的ARITE的功能编写或生成23个实现。这是3个参数函数的示例:
def reverse[A, B, C, R](f: (A, B, C) => R): (C, B, A) => R =
(c, b, a) => f(a, b, c)
使用宏,尽管有可能以通用的方式进行。最简单的解决方案可能是使用无形库,该库是在内部使用宏实现的。这是无形的样本插入:
import shapeless._
import shapeless.ops.function._
import shapeless.ops.hlist._
def reverseArgs[Func, Args <: HList, Res, RevArgs <: HList](f: Func)(implicit
// Convert the function to a function from a single HList argument.
fnToProduct: FnToProduct.Aux[Func, Args => Res],
// Compute the type of the reversed arguments HList.
r1: Reverse.Aux[Args, RevArgs],
// Get the function to reverse the reversed arguments back.
reverse: Reverse.Aux[RevArgs, Args],
// Convert the function of a single HList argument to a normal function
fnFromProduct: FnFromProduct[RevArgs => Res]
): fnFromProduct.Out = {
fnFromProduct((args: RevArgs) => fnToProduct(f)(reverse(args)))
}
这是它的工作方式:
scala> val f = reverseArgs((i: Int, d: Double, s: String) => (i + d).toString + s)
f: (String, Double, Int) => String = shapeless.ops.FnFromProductInstances$$anon$4$$Lambda$1191/2014583896@4d7933e7
scala> f("a", 1.5, 2)
res1: String = 3.5a