在一个函数的代数中，处理需要多个参数的函数（或者是一个N元组的相当于一个参数）有点不雅观 - 但是，正如摩西·舍恩克林（和独立的哈斯克尔·库里）证明的那样，这是不需要的：需要的是带有一个参数的函数。 那么，你如何处理你自然而然地表达的东西f(x,y)呢？嗯，你把它看作等同于f(x)(y)- f(x)，称之为g，是一个功能，您应用功能y。换句话说，你只有一个函数需要一个参数 - 但其中一些函数返回其他函数（这也有一个参数;-)。 像往常一样，维基百科有一个很好的总结条目，有很多有用的指针（可能包括关于你最喜欢的语言;-)以及稍微严格的数学处理。... 展开详请