[Haskell-cafe] More disciplined alternative to rewrite rules?

Johannes Waldmann johannes.waldmann at htwk-leipzig.de
Mon Dec 21 19:34:12 UTC 2015

What graph(s) do you want to rewrite?
How would this help with respect to A, B, and C?

The program is a term (tree), the runtime data structure
(heap) is a graph - you want rewriting at run-time then?
But the purpose is to move work from run-time to compile-time.

- J.W.

More information about the Haskell-Cafe mailing list