The Kibit rule system

I hate what these slides do to my browser history.

I really like tools like these! The one I use for Haskell is hlint[1].<p>1: <a href="http://community.haskell.org/~ndm/hlint/" rel="nofollow">http:&#x2F;&#x2F;community.haskell.org&#x2F;~ndm&#x2F;hlint&#x2F;</a>

I note that the overtone jazz composition has been updated since this presentation was put together. :)

Hmmm<p><pre><code> (defrules my-rules [(+ ?x 1) (inc ?x)] [(- ?x 1) (dec ?x)]) </code></pre> Could something like that be shipped together with libraries and automagically update and refactor my code on simple backward incompatible changes?

At first I thought this would be talking about kibits, now collaborate: <a href="http://www.collaborate.com/" rel="nofollow">http:&#x2F;&#x2F;www.collaborate.com&#x2F;</a>

These are called rewrite rules and you can find a lot of previous work on this to reference and build on.