Call-by-value (source code)

= Call-by-value

Evaluate argument expressions before invoking a <function>. A <monadic interpreter> must also specify the order of those evaluations when its <computational monad> represents effects.