8.29 Here is a function in ML syntax: fun f (g,x) = g (g(x)); (a) What...

 

Transcribed Image Text:

8.29 Here is a function in ML syntax: fun f (g,x) = g (g(x)); (a) What polymorphic type does this function have? (b) Show how Hindley-Milner type checking infers the type of this function. (c) Rewrite this function as a C++ template function. 8.29 Here is a function in ML syntax: fun f (g,x) = g (g(x)); (a) What polymorphic type does this function have? (b) Show how Hindley-Milner type checking infers the type of this function. (c) Rewrite this function as a C++ template function.