Hi,

Just a few questions about functions: What should happen if a top level variable shares the same name as a function? Is this disallowed by ml like it is in C?

Also, is it possible to pass a function as a parameter to a function, if it is, how would we implement this?

Thanks in advance.

"Chenjun Hou" [email protected] wrote:

Hi,

Just a few questions about functions: What should happen if a top level variable shares the same name as a function? Is this disallowed by ml like it is in C?

Identifiers and functions shouldn't have the same name.

Also, is it possible to pass a function as a parameter to a function, if it is, how would we implement this?

Syntax of ml allows this. You should be able to just copy the function call into c and it would work.

Thanks in advance.

By passing a function as a parameter to another function, I mean

function exec a
    return a()
#
function seven
    return 7
#
print exec(seven)

Here we pass the function seven to the function exec as its a parameter, and the ``exec``` function executes it, ultimately resulting in 7 being printed.

Is this behavior allowed in ml? If it is, how do we get around c's function type checking? I believe that to pass a function to a function, its necessary to create a function pointer like so void func ( void (*f)(int) );.

Also with respect to functions with the same name, should we assume it never happens or check it?

"Chenjun Hou" [email protected] wrote:

By passing a function as a parameter to another function, I mean

function exec a
    return a()
#
function seven
    return 7
#
print exec(seven)

Here we pass the function seven to the function exec as its a parameter, and the ``exec``` function executes it, ultimately resulting in 7 being printed.

Is this behavior allowed in ml? If it is, how do we get around c's function type checking? I believe that to pass a function to a function, its necessary to create a function pointer like so void func ( void (*f)(int) );.

Also with respect to functions with the same name, should we assume it never happens or check it?

No ml doesn't allow passing a function to a function. It is too complex for this project, and I don't believe it will be covered in the unit.