The Kibit rule system

by llambda • 13 years ago

38 9 13 years ago

b6• 13 years ago

I really like tools like these! The one I use for Haskell is hlint[1].

moomin• 13 years ago

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

stopthemadness• 13 years ago

I hate what these slides do to my browser history.

CaveTech• 13 years ago

Just completely destroyed mine to the point where I couldn't even get back to HN after swiping my track pad.

Frozenlock• 13 years ago

Yeah.

When I realized it was changing the number in the URL.... "Uh oh..."

LogicX• 13 years ago

At first I thought this would be talking about kibits, now collaborate: http://www.collaborate.com/

mhewett• 13 years ago

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

jonase• 13 years ago

The best source I've found is at http://rewriting.loria.fr which contains lots of interesting papers.

FeatureRush• 13 years ago

Hmmm

  (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?

Related Stories