[Main website]

feature/debug-of-FP-code

Declarative and FP code are sometime difficult to debug because they lacks a step-by-step operational semantic.

Dok and DokMelody can decompose big declarative expressions (e.g. queries) into smalle pieces and test if they are doing the intended thing.

One can insert intermediate assertions/constraints, for seeing if the behaviour is as expected.