Functional programming 术语：未绑定参数为函数的部分应用程序？

。。。（或部分功能应用）指的是固定 一个函数的参数数，产生另一个较小的算术数的函数

我想知道以下代码是否有特定的名称：（伪代码！）

---

函数式编程中有这样的名称吗？或者只是部分应用程序，其中unbound参数恰好是一个函数

实际上，除了部分应用程序之外，还有更多类似于调用函数的功能。有两点值得注意：

• 当您对参数应用

  call_1

  或

  call_2

  时，可以立即丢弃它们；你对他们做的每件事都会被追查

• 您可以编写类似的函数，这些函数不只是应用参数，而是将其保留一段时间；这本质上是让函数抓住它们的计算上下文，并给出通过“跳回”到先前上下文来实现复杂流控制的技术

---

如果你接受以上两点并按照这个概念运行，你最终会得到。

事实上，除了部分应用之外，还有更多类似于

调用的功能。有两点值得注意：


当您对参数应用
call_1
或
call_2
时，可以立即丢弃它们；你对他们做的每件事都会被追查

您可以编写类似的函数，这些函数不只是应用参数，而是将其保留一段时间；这本质上是让函数抓住它们的计算上下文，并给出通过“跳回”到先前上下文来实现复杂流控制的技术


如果你接受以上两点，并按照这一理念运行，你最终会得到。
谢谢。。。从维基百科的文章来看，我的头有点晕：-）@Martin：别担心。过多地考虑延续性对几乎每个人都有影响。：]谢谢从维基百科的文章来看，我的头有点晕：-）@Martin：别担心。过多地考虑延续性对几乎每个人都有影响。：]
// 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)