Pure Functions

Function[x,body]a pure function in which x is replaced by any argument you provide
Function[{x1,x2,},body]a pure function that takes several arguments
body&a pure function in which arguments are specified as or , , , etc.

Pure functions.

When you use functional operations such as Nest and Map, you always have to specify a function to apply. In all the examples above, we have used the "name" of a function to specify the function. Pure functions allow you to give functions which can be applied to arguments, without having to define explicit names for the functions.

This defines a function .
In[1]:=
Click for copyable input
Having defined , you can now use its name in Map.
In[2]:=
Click for copyable input
Out[2]=
Here is a way to get the same result using a pure function.
In[3]:=
Click for copyable input
Out[3]=

There are several equivalent ways to write pure functions in the Wolfram Language. The idea in all cases is to construct an object which, when supplied with appropriate arguments, computes a particular function. Thus, for example, if fun is a pure function, then evaluates the function with argument a.

Here is a pure function that represents the operation of squaring.
In[4]:=
Click for copyable input
Out[4]=
Supplying the argument to the pure function yields the square of .
In[5]:=
Click for copyable input
Out[5]=

You can use a pure function wherever you would usually give the name of a function.

You can use a pure function in Map.
In[6]:=
Click for copyable input
Out[6]=
Or in Nest.
In[7]:=
Click for copyable input
Out[7]=
This sets up a pure function with two arguments and then applies the function to the arguments and .
In[8]:=
Click for copyable input
Out[8]=

If you are going to use a particular function repeatedly, then you can define the function using , and refer to the function by its name f. On the other hand, if you only intend to use a function once, you will probably find it better to give the function in pure function form, without ever naming it.

If you are familiar with formal logic or the LISP programming language, you will recognize Wolfram Language pure functions as being like expressions or anonymous functions. Pure functions are also close to the pure mathematical notion of operators.

#the first variable in a pure function
#nthe n^(th) variable in a pure function
##the sequence of all variables in a pure function
the sequence of variables starting with the n^(th) one

Short forms for pure functions.

Just as the name of a function is irrelevant if you do not intend to refer to the function again, so also the names of arguments in a pure function are irrelevant. The Wolfram Language allows you to avoid using explicit names for the arguments of pure functions, and instead to specify the arguments by giving "slot numbers" . In a Wolfram Language pure function, stands for the n^(th) argument you supply. stands for the first argument.

is a short form for a pure function that squares its argument.
In[9]:=
Click for copyable input
Out[9]=
This applies a function that takes the first two elements from each list. By using a pure function, you avoid having to define the function separately.
In[10]:=
Click for copyable input
Out[10]=
Using short forms for pure functions, you can simplify the definition of given in "Applying Functions Repeatedly".
In[11]:=
Click for copyable input

When you use short forms for pure functions, it is very important that you do not forget the ampersand. If you leave the ampersand out, the Wolfram Language will not know that the expression you give is to be used as a pure function.

When you use the ampersand notation for pure functions, you must be careful about the grouping of pieces in your input. As shown in "Operator Input Forms" the ampersand notation has fairly low precedence, which means that you can type expressions like without parentheses. On the other hand, if you want, for example, to set an option to be a pure function, you need to use parentheses, as in .

Pure functions in the Wolfram Language can take any number of arguments. You can use to stand for all the arguments that are given, and to stand for the n^(th) and subsequent arguments.

stands for all arguments.
In[12]:=
Click for copyable input
Out[12]=
stands for all arguments except the first one.
In[13]:=
Click for copyable input
Out[13]=