Module fungi_lang::reduce

Expand description

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.

Structs

Config

Configuration for reduction: A stack, environment and expression.

Frame

Stack frame

SysCfg

System configuration: global flags, etc

Enums

Cont

Local continuations

StepError

Cases for which step fails to reduce the program

Stuck

Dynamic type errors (“stuck cases” for reduction)

Functions

reduce

Perform reduction steps (via step) until irreducible.

reduce_db

step

Perform a single small-step reduction.

system_config