Another video from the event: Rich Hickey - The Language of the System<p><a href="http://skillsmatter.com/podcast/scala/the-language-of-the-system" rel="nofollow">http://skillsmatter.com/podcast/scala/the-language-of-the-sy...</a>
I'll guess this is the same as the 'unconference' talk that David Nolen gave at the 2012 Conj. He's doing some really spiffy stuff with the new constraint mechanism in core.logic, and this talk was among the best of the week.
I really liked that talk, I had not seen the constraint logic programming befor. David mentions that the zebra example would be better solved with constraints. Is there a example of solving the zebro puzzle with constrains?<p>Also about the predicate dispatch work, is there allready some code somewhere one could look at (other then core.match)?