[Haskell-cafe] More disciplined alternative to rewrite rules?
johannes.waldmann at htwk-leipzig.de
Mon Dec 21 20:44:42 UTC 2015
> The syntactic representation of the program is the most natural to humans,
> but it is perhaps not the best for simplification.
Maybe so. Please give examples.
We use graphs (instead of trees) to express sharing.
Do you see sharing (or the lack of expressibility for it)
as a problem with GHC rules currently?
More information about the Haskell-Cafe