术语：未绑定参数是函数的部分应用？

Question

...partial application（或部分函数应用）指的是修复一个 一个函数的参数数量，产生另一个更小参数的函数。

我想知道以下是否有特定名称：(pseudo-code!)

// Given functions:
def f(a, b) := ...
def g(a, b) := ...
def h(a, b) := ...

// And a construct of the following:
def cc(F, A, B) := F(A, B) // cc calls its argument F with  A and B as parameters

// Then doing Partial Application for cc:
def call_1(F) := cc(F, 42, "answer")
def call_2(F) := cc(F, 7, "lucky")

// And the calling different matching functions this way:
do call_1(f)
do call_1(g)
do call_2(g)
do call_2(h)

在函数式编程中有这个名字吗？或者它只是部分应用，其中未绑定的参数恰好是一个函数

Answer 1

实际上，您的 call_N 函数之类的东西还有更多，而不仅仅是部分应用。有两点需要注意：

• 当您将call_1 或call_2 应用于参数时，它们可以立即被丢弃； 你对他们所做的一切都是尾声。

• 您可以编写类似的函数，这些函数不仅应用参数，而且保持一段时间；这实质上让函数抓住了它们的评估上下文，并提供了通过“跳回”到以前的上下文来实现复杂流控制的技术。

如果你采取以上两点并按照这个概念运行，你最终会得到continuation-passing style。