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 |