Execution of a task is always an interplay between the interpreter and the rewriter.
The rewriter scans the current task tree and tries to rewrite it using small-step reduction.
Expressions in the tree are always strictly evaluated by the interpreter.
Execution of a task is always an interplay between the interpreter and the rewriter.
The rewriter scans the current task tree and tries to rewrite it using small-step reduction.
Expressions in the tree are always strictly evaluated by the interpreter.