IN ML: I only need help with (A-D)

Write an ML function definition for each of the following functions. Try to predict what polytype ML will infer for each funtion. Then check your prediction using the ML language system. What is the polytype determined by ML for each case?

a. f(x) = 1

b. f(g) = g(1)

c. f(g, x, y) = g(x, y)

d. f(g, x) = g(g(x))

ates to associativity, overloading., lCion thal could account for this. In your system, result of evaluating the expression " edence, 12 37 an MI. function definition for each of the following functions. tpolytype ML will infer for each function. Then check your pre- Write an Exencise 5 thy to predict what 1ty t r diction using the a to predict whM language system. What is the polytype determined by M for MI g the ML. language each case? a, f(x) = 1 b. fix,y) = 1 C. df(x,y) = x e f(g) = g(1) f, fig,x)=g(x) g. fig,x,y) = g(x,y) h, fig,h,x) = g(h(x)) i, fig,x)=g(g(x)) ates to associativity, overloading., lCion thal could account for this. In your system, result of evaluating the expression " edence, 12 37 an MI. function definition for each of the following functions. tpolytype ML will infer for each function. Then check your pre- Write an Exencise 5 thy to predict what 1ty t r diction using the a to predict whM language system. What is the polytype determined by M for MI g the ML. language each case? a, f(x) = 1 b. fix,y) = 1 C. df(x,y) = x e f(g) = g(1) f, fig,x)=g(x) g. fig,x,y) = g(x,y) h, fig,h,x) = g(h(x)) i, fig,x)=g(g(x))