solomono / kiama

Automatically exported from code.google.com/p/kiama
GNU Lesser General Public License v3.0
0 stars 0 forks source link

Add better support for type-unifying strategies #68

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago
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