4.10 Dynamic types: the Dynamic structure
eval
Function
Structure
Shell.Dynamic
Type
val eval: string -> dynamic
Syntax
eval expr -> dynamic
Argument
- expr
- A string of an ML expression to dynamically evaluate.
Values
- dynamic
- The dynamic evaluation of expr.
Description
Given a string ML expression, evaluates it dynamically. If there is a type error, it raises EvalError.