News for hackers. Stuff that matters.
Re:The Kibit rule system by stopthemadness on Monday November 18, 2013 @11:11AM (#6754959)
I hate what these slides do to my browser history.
[ Parent | on HN ]
Re:The Kibit rule system by CaveTech on Monday November 18, 2013 @11:50AM (#6755211)
Just completely destroyed mine to the point where I couldn't even get back to HN after swiping my track pad.
[ Parent | on HN ]
Re:The Kibit rule system by Frozenlock on Tuesday November 19, 2013 @12:47AM (#6759502)
Yeah.

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

[ Parent | on HN ]
Re:The Kibit rule system by b6 on Monday November 18, 2013 @10:32AM (#6754737)
I really like tools like these! The one I use for Haskell is hlint[1].

1: http://community.haskell.org/~ndm/hlint/

[ Parent | on HN ]
Re:The Kibit rule system by moomin on Monday November 18, 2013 @10:45AM (#6754804)
I note that the overtone jazz composition has been updated since this presentation was put together. :)
[ Parent | on HN ]
Re:The Kibit rule system by FeatureRush on Monday November 18, 2013 @02:39PM (#6756387)
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?
[ Parent | on HN ]
Re:The Kibit rule system by LogicX on Monday November 18, 2013 @12:53PM (#6755664)
At first I thought this would be talking about kibits, now collaborate: http://www.collaborate.com/
[ Parent | on HN ]
Re:The Kibit rule system by mhewett on Monday November 18, 2013 @01:05PM (#6755748)
These are called rewrite rules and you can find a lot of previous work on this to reference and build on.
[ Parent | on HN ]
Re:The Kibit rule system by jonase on Monday November 18, 2013 @02:08PM (#6756188)
The best source I've found is at http://rewriting.loria.fr which contains lots of interesting papers.
[ Parent | on HN ]