Module fungi_lang::eval [−][src]
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
| EvalTyErr |
Dynamic type errors ("stuck cases" for evaluation) |
Functions
| eval |
Big-step evaluation |