In the strategic programming literature type-unifying strategies are ones that produce a single value of some type as a result of the rewrite. They are close to folds in functional programming terminology. At present, Kiama doesn't have good support for this kind of strategy, just a hacked-in version via the query combinator. We plan to conduct a systematic redesign of this portion of the library and hence support type-unifying operations inline with the literature.
In the strategic programming literature type-unifying strategies are ones that produce a single value of some type as a result of the rewrite. They are close to folds in functional programming terminology. At present, Kiama doesn't have good support for this kind of strategy, just a hacked-in version via the
query
combinator. We plan to conduct a systematic redesign of this portion of the library and hence support type-unifying operations inline with the literature.