Please help how to solve this: Write ML function definition for each of the follwoing functions. Try to predict what polytype will infer for each function.Then check your prediction using the ML langauge system.What is the polytpe determined by ML for each case?
fn arg => returnValue.SML/NJ gives the above function the type int ->
int. In general, the type of a function is written
argType -> returnType, which is
reminiscent of the way mathematicians describe the domain and
codomain of functions in math. In the academic programming
languages literature, function types are sometimes be called