is there an eval in ML?

Question

is there a eval function in ML?

Answer 1

ML is really just a dialect, but no ML implementation that I've used (OCaml, F#) has eval as far as I know. This makes sense as ML uses strict typing (the types are known at compile time). Eval would break that guarantee.

However I did find an implementation of eval in OCaml that apparently uses code from the toplevel:

http://thelackthereof.org/OCaml_Eval

Answer 2

http://moonflare.com/code/mlud/implementation.php i tryd 2 compile this code but it gives an error msg Error: unbound structure:interact in path compiler.interact.useStream uncaught exception errror raised at:../compiler/TopLevel/interact/evalloop.sml:66.19-66.27 ../compiler/TopLevel/interact/evalloop.sml:44.55 ../compiler/TopLevel/interact/evalloop.sml:296.17-296.20