Higher-Order Functions
Higher-order functions are functions that manipulate other functions. We introduce the notion of nameless functions, functional arguments and functional results. We discuss currying, a common transformation between some traditional functions and some higher-order functions, and study situations where one or the other representation is advantageous. We present some standard higher-order functions that allow to concisely work with lists and other inductive data structures.