Higher-order functions are the pendant to First-Class Functions because higher-order functions can take functions as argument or return them as result.
Higher-order functions
The three classics: map, filter, and fold
Each programming language supporting programming in the functional style supports at least the three functions map, filter, and fold. map applies a function to each element of its list. filter removes all elements of a list not satisfying a condition. fold is the most powerful of the three ones. fold successively applies a binary operation to pairs of the list and therefore reduces the list to a value.
I can do better:
The name variations
The statement, that each programming language supporting programming in a functional style has to support the three functions map, filter, and reduce, has little restrictions. The names of the three functions have variations in the different programming languages. You can see in the table the names of the Haskell functions in comparison with their names in C++ and python.
I want to stress two points. Firstly, Haskell has four variations of fold. The variations are due to the fact if the binary operation starts at the begin or at the end of the list and if the binary operation has an initial value. Secondly, string concatenation of map and reduce (fold) gives MapReduce. This is no accident. The Google framework is based on a map and a reduce phase and is therefore based on the ideas of the functions map and reduce (fold).
The easiest way to get an idea of the functions is to use them. As input, I choose a list (vec) with the integers from 0 to 9 and a list (str) with the words "Programming","in","a","functional","style." In the case of C++, the list is a std::vector.
// Haskellvec = [1..9]
str = ["Programming","in","a","functional","style."]
// Python
vec=range(1, 10)
str=["Programming", "in", "a", "functional", "style."]
// C++
std::vector<int> vec{1, 2, 3, 4, 5, 6, 7, 8, 9}
std::vector<string> str{"Programming", "in", "a", "functional", "style."}
For simplicity reasons, I will directly display the results in the list syntax of Haskell.
mapmap applies a callable to each element of a list. A callable is all that behaves like a function. A callable can be in C++ a function, a function object, or a lambda function. The best fit for higher-order functions is often a lambda function. That for two reasons. At on hand, you can very concisely express your intent and the code is easier to understand. On the other hand, the lambda function defines their functionality exactly at the place where it is used. Because of that, the compiler gets maximum insight in the source code and has the maximum potential to optimise. That is the reason that you will often get more performant executables with a lambda function
// Haskellmap(\a -> a * a) vec
map(\a -> length a) str
// Python
map(lambda x :x*x , vec)
map(lambda x : len(x), str)
// C++
std::transform(vec.begin(), vec.end(), vec.begin(),
[](int i){ return i*i;} );
std::transform(str.begin(), str.end(), std::back_inserter(vec2),
[](std::string s){ return s.length ();} );
// [1,4,9,16,25,36,49,64,81]
// [11,2,1,10,6]
Of course, the syntax of lambda functions in Haskell, Python, and C++ is different. Therefore, a lambda function will be introduced in Haskell by a slash \a → a*a , but will be introduced in Haskell by the keyword lambda: lambda x: x*x In C++ you have to use square brackets: [](int i){ return i*i; } . These are only syntactical differences. More interesting is the fact that you invoke functions in Haskell without braces and that Haskell and Python generates a list, while you can modify in C++ the existing std::vector or fill a new one. filter
filter keeps only this elements in the list that satisfies the predicate. A predicate is a callable that returns a boolean. Here is the example.
// Haskellfilter (\x-> x <3 || x> 8) vec
filter (\x -> isupper (head x)) sts
// Python
filter(lambda x: x<3 or x>8 , vec)
filter(lambda x: x[0].isupper(), str)
// C++
auto it = std::remove_if(vec.begin(), vec.end (),
[](int i){return ((i <3) or (i> 8))!});
auto it2 = std::remove_if(str.begin(), str.end (),
[](std::string s) {return !(std::isupper (s[0]));});
// [1,2,9]
// ["Programming"]
The function composition isUpper(head x) checks for each word if it starts ( head x ) with a capital letter ( isUpper ) ist.
Two quick remarks to std::remove_if. std::remove_if removes no element but it returns the new logical end of the list. Afterwards, you have to apply the erase-remove idiom . The logic of std::remove_if is the other way around. It will remove the elements satisfying the condition. Therefore, I have to negate the condition.
foldfold is the most powerful of the three higher-order functions. You can implement map and filter by using fold. The code snippet shows the calculation of the faculty of 9 and string concatenation in Haskell, Python, and C++.
// Haskellfoldl (\a b -> a * b) 1 vec
foldl (\a b -> a ++ ":" ++ b ) "" str
//Python
reduce(lambda a , b: a * b, vec, 1)
reduce(lambda a, b: a + ":" + b, str, "")
// C++
std::accumulate(vec.begin(), vec.end(), 1,
[](int a, int b){ return a*b; });
std::accumulate(str.begin(), str.end(), string(""),
[](std::string a,std::string b){ return a+":"+b; });
// 362800
// ":Programming:in:a:functional:style."
foldl needs as the Python pendant reduce and the C++ pendant std::accumulate an initial value. This is in the case of the faculty the 1; this is in the case of the string concatenation the empty st
