R库里的怪事

Question

我看到库(氧)的Curry函数的奇怪行为。下面是一个简单的例子:

library(roxygen)
library(foreach)
f <- function(x,y,z) { return(x+y+z) }
fns <- list()
foreach(i=c(1:10))  %do% {
  f[[i]] <- Curry(Curry(f,i),i)
}

在这个例子中，调用

f[[1]](0) 

返回11。

有两个修复对我来说没有任何意义-一个是平循环，如

fns <- list()
fns[[1]] <- Curry(Curry(f,1),1)
fns[[2]] <- Curry(Curry(f,2),2)
...

。此外，在原始循环中放入单个函数求值是可行的——如

fns <- list()
foreach(i=c(1:10)) %do% {
  f[[i]] <- Curry(Curry(f,i),i)
  f[[i]](27)
}

然后是

f[[1]](0) = 2.

怎么回事?

Answer 1

重述没有依赖项的问题

我假设Curry定义为

Curry<-function(FUN,...) {
  dots<-list(...);
  function(...) do.call(FUN,c(dots,list(...)))}

然后

f <- function(x,y,z) list(x,y,z)
fns<-vector("list",10)
for(i in 1:10) {fns[[i]]<-Curry(Curry(c,i),i)}
fns[[1]](0)

收益率

[1] 10  1  0

表示直到循环完成后才对f的第一个参数求值。

分析

这是由于延迟计算。

这里的罪魁祸首比解释一个懒惰的求值怪癖更微妙，这就是为什么我在标记为重复时犹豫不决。

这里延迟的是FUN的求值

CurryF<-function(FUN,...) {
  force(FUN); #needed for nesting Curry
  dots<-list(...);
  function(...) do.call(FUN,c(dots,list(...)))}

现在再试一次

for(i in 1:10) {fns[[i]]<-CurryF(CurryF(c,i),i)}
fns[[1]](0)

为预期结果

[1] 1 1 0