Question

在Opa中，可以部分应用功能。但是，我想提供一个带有所有参数的函数，并返回一个不带参数的函数。例如：

function make-thunk(f, a) { function() { f(a) } }

上面的代码工作正常，但它有一个问题：它只适用于只接受一个参数的函数。我很好奇是否有可能在Opa中使上述更通用，因此该函数可用于任意arity的函数。

我无法在Opa API，论坛，IRC，Github或SO上找到关于apply-（scheme）或call-（prolog）的信息，所以在这里我希望我错过了某些地方。 ;-)（有一些@lazy关键字的痕迹，但没有解释或文档，所以我没有保留参考，抱歉。）

进一步澄清/说明：如果Opa是计划，我会写下面的代码：

(define (make-thunk f . args)
  (lambda () (apply f args)))

Answer 1

如果要将任意数量的参数传递给make-thunk，则必须使用元组：

function f((a,b,c)) {
   ...
}

args = ("a","b","c")
make-thunk(f, args)

顺便问一下，你在哪里找到@lazy的提及？