Standard ML

i. give the value that ans is bound to after evaluation;

ii. indicate the data type of the function f after evaluation;

iii. please show some explanation how you get the answers.

(b) fun f p = let val x = 3 val y = 4 val (z,w) = p in (z (w y)) + x end val x = 1 val y = 2 val ans = f((fn z => x + z), (fn x => x + x + 0)). (b) fun f p = let val x = 3 val y = 4 val (z,w) = p in (z (w y)) + x end val x = 1 val y = 2 val ans = f((fn z => x + z), (fn x => x + x + 0))