Totally; great point.  My code is here:
<a href="https:&#x2F;&#x2F;github.com&#x2F;pschanely&#x2F;wf-optimizer&#x2F;blob&#x2F;master&#x2F;demo.maude" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;pschanely&#x2F;wf-optimizer&#x2F;blob&#x2F;master&#x2F;demo.m...</a><p>Maude is a programming language based on rewriting: <a href="http:&#x2F;&#x2F;maude.cs.illinois.edu&#x2F;w&#x2F;index.php" rel="nofollow">http:&#x2F;&#x2F;maude.cs.illinois.edu&#x2F;w&#x2F;index.php</a><p>It&#x27;s pretty wild; your code doesn&#x27;t &quot;execute&quot; in the traditional sense; instead patterns match the code and transform it repeatedly until it reaches a &quot;normal form&quot; - one that cannot be rewritten further.<p>Maude is handy for playing with optimizers, because you very often want to specify behavior in terms of patterns (when you see these functions together, replace them with this...)