In computer science, a
function type (or arrow
type or exponential) is the
type of a variable or parameter to which a
function has or can be assigned, or an argument or result
type of a higher-order
function taking or returning a
function. ... The class of such maps or
functions is called the exponential object.
read more >>