For each of the following ML functions, could the activation record for the
function be deallocated as soon as the function returns? Explain why or why not.
a. fun f x = x + 1
b. fun f x = fn y => x + y
c. fun f x = fn y => y + 1
d. fun f x = map ~ x 

Answer rating: 100% (QA)

The detailed answer for the above question is provided below Answer a fun f x x 1 Yes the activation record for function f can be deallocated as soon as the function returns This is because there are ... View the full answer