typed and detailed solution required

Some programming languages support first-class functions, also called higher-order func- tions. A higher-order function is a function that can either have another function as a parameter or is able to return another function. (See Sections 6.2-6.4 in PLDI.) With C-style functions we can simulate this by using function pointers. Suppose we want to extend the syntax of C such that we would directly allow functions as parameters in C. Below is an example of a incomplete program with a function applytoall that applies a function to all elements of an array. We call applytoall with the square function and the array myarray as actual parameters and should afterwards have that every element in the array myarray has been squared. We would like the program to be well-typed, whereas we would like the modified program where myarray was a character array of type char | (and nothing else was changed) not to be well-typed. void applytoall(T f, *int arr) int n = sizeof(arr) for (int i = 0; i<>