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.
Original issue reported on code.google.com by inkytonik on 12 Jan 2015 at 3:05
Original issue reported on code.google.com by
inkytonikon 12 Jan 2015 at 3:05