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.

(a) val x = 1 val f = (fn y => Y x) val x = 7 val g = (fn y => x - y) val ans = fg (a) val x = 1 val f = (fn y => Y x) val x = 7 val g = (fn y => x - y) val ans = fg