4. Consider a function with polymorphic type g : ('a -> 'b -> 'b) -> ->...

Transcribed Image Text:

4. Consider a function with polymorphic type g : ('a -> 'b -> 'b) -> -> 'b. 4.1. What is the type of g (List.cons)? Hint: Type List.cons into the OCaml terminal like this: List.cons; ;, to see what the type of List.cons is. 4.2. What is the type of fun x -> (g g) x ? Briefly explain your reasoning. 4. Consider a function with polymorphic type g : ('a -> 'b -> 'b) -> -> 'b. 4.1. What is the type of g (List.cons)? Hint: Type List.cons into the OCaml terminal like this: List.cons; ;, to see what the type of List.cons is. 4.2. What is the type of fun x -> (g g) x ? Briefly explain your reasoning.