Module fungi_lang::reduce

Reduction semantics.

This module gives the incremental semantics of Fungi programs as a "small-step" reduction function, reduce.

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: eval.

Structs

Config	Configuration for reduction: A stack, environment and expression.
Frame	Stack frame

Enums

Cont	Local continuations
Error	Dynamic type errors ("stuck cases" for reduction)

Functions

reduce	Perform small steps of reduction until irreducible.
step	Perform a single small-step reduction.