first-class function 頭等函數

A first-class function is not a particular kind of function. All functions in Python are first-class functions. To say that functions are first-class in a certain programming language means that they can be passed around and manipulated similarly to how you would pass around and manipulate other kinds of objects (like integers or strings). You can assign a function to a variable, pass it as an argument to another function, etc. The distinction is not that individual functions can be first class or not, but that entire languages may treat functions as first-class objects, or may not.

Higher-order function 高階函數

In mathematics and computerscience, a higher-order function (also functional, functional form or functor) is a function that does at least one of the following:

• takes one or more functions as arguments (i.e. proceduralparameters),
• returns a function as its result.

Currying 柯裏化

currying is the technique of translating the evaluation of a function that takes multiple arguments into evaluating a sequence of functions, each with a single argument. For example, a function that takes two arguments, one from X and one from Y, and produces outputs in Z, by currying is translated into a function that takes a single argument from X

first-class function & Higher-order function