由于函数组合是在计算机科学中制定的,因此所有函数都只有一个参数。该Composition
函数也假设了这一点。Curry
ing 是解决此问题的典型方法。另一个复杂之处在于,任何附加的命名参数都必须在组合过程中传递给正确的函数。
这里有几种方法:
h1 <- function(scale, shift)
Compose(Curry(f,scale), Curry(g,shift))
h1
采用命名参数并使用正确的柯里化创建组合函数。返回是一个 1 参数函数:
> h1(scale=1, shift=0)(1)
[1] 1
另一种方法是将柯里化(以及组合)延迟到实际的函数评估。在这种情况下,原始的“Compose”函数只是设置了所有内容,但实际上并没有进行组合,而是返回一个可进行柯里化、组合和评估的函数。
ComposeDelayedCurry <- function(...) {
fs <- list(...)
all.formals <- lapply(fs, formals)
function(...) {
local.args <- list(...)
pos.args <- lapply(all.formals, function(f) {
local.args[names(f)[[-1]]]
})
curried <- lapply(seq_along(fs), function(i) {
do.call(Curry, c(fs[[i]], pos.args[[i]]))
})
do.call(Compose, curried)(..1)
}
}
h2 <- ComposeDelayedCurry(f,g)
现在调用h2
将在评估时完成所有工作。这做了几个假设。一个是每个函数(和函数调用)的第一个参数是被组合的那个。第二个是所有其他参数都是命名参数。没有任何东西可以通过...
. 这是因为必须检查每个函数的形式,以了解每个参数“去”到哪里。我认为这将处理不使用默认值指定参数,但我不完全确定。
> h2(1, scale=1, shift=0)
[1] 1
> h2(3, scale=5, shift=2)
[1] 8.708204
> sqrt(5*(3^2))+2
[1] 8.708204