Module fungi_lang::eval
source · Expand description
Evaluation semantics.
This module gives the incremental semantics of Fungi programs as a
“big-step” evaluation function,
eval.
To do so, it uses an external library (Adapton in Rust) to create and maintain the “demanded computation graph” (the DCG), that underpins change propagation.
See also:
reduce.
Enums
Dynamic type errors (“stuck cases” for evaluation)
Functions
Big-step evaluation