Higher-order functions
A higher-order function is a function which takes other functions as input. For example:
twice : (N -> N) * N -> N
twice(f, x) = f(f(x))
The twice
function takes a function on natural numbers f
,
along with a natural number n
, as input, and calls f
twice on
n
.