Assertion: order function | /r/CapableOf | return function
Facets:
Source sentences:
text: 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.
text: Anonymous functions are often arguments being passed to higher-order functions, or used for constructing the result of a higher-order function that needs to return a function.
text: A higher order function is any function which takes a function as an argument, returns a function, or both.