<?xml version="1.0" encoding="UTF-8"?>

<record version="1" id="2807">
 <title>higher-order function</title>
 <name>HigherOrderFunction</name>
 <created>2002-03-29 11:31:46</created>
 <modified>2002-03-29 11:31:46</modified>
 <type>Definition</type>
 <creator id="6" name="Logan"/>
 <author id="6" name="Logan"/>
 <classification>
	<category scheme="msc" code="68Q01"/>
 </classification>
 <synonyms>
	<synonym concept="higher-order function" alias="functional"/>
 </synonyms>
 <related>
	<object name="Currying"/>
 </related>
 <preamble>\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{amsfonts}</preamble>
 <content>Any function that maps a function to anything or maps anything to a function is a \emph{higher-order function}.  In programming language terms, a higher-order function is any function that takes one or more functions as arguments and/or returns a function.

For example, a predicate which makes some statement about a function would be a higher-order function.</content>
</record>
