4 ms·
The Kibit rule system
- b6 13y agoI really like tools like these! The one I use for Haskell is hlint[1]. 1: http://community.haskell.org/~ndm/hlint/ http://community.haskell.org/~ndm/hlint/
- moomin 13y agoI note that the overtone jazz composition has been updated since this presentation was put together. :)
- stopthemadness 13y agoI hate what these slides do to my browser history.
- CaveTech 13y agoJust completely destroyed mine to the point where I couldn't even get back to HN after swiping my track pad.
- deleted 13y ago[deleted]
- Frozenlock 13y agoYeah. When I realized it was changing the number in the URL.... "Uh oh..."
- LogicX 13y agoAt first I thought this would be talking about kibits, now collaborate: http://www.collaborate.com/ http://www.collaborate.com/
- mhewett 13y agoThese are called rewrite rules and you can find a lot of previous work on this to reference and build on.
- jonase 13y agoThe best source I've found is at http://rewriting.loria.fr http://rewriting.loria.fr which contains lots of interesting papers.
- FeatureRush 13y agoHmmm (defrules my-rules [(+ ?x 1) (inc ?x)] [(- ?x 1) (dec ?x)]) Could something like that be shipped together with libraries and automagically update and refactor my code on simple backward incompatible changes?