A really, really great presentation on the state of affairs. I think trying to make logic programming in real situations really does necessitate the amazing optimizations that the functional and logic community have already accomplished as far as decision trees are concered, and so losing that in order to gain extensibility is a poor decision. A separation of concerns is in order: create a match-based dispatch that is extensible, and another type that is not (for performance).
@benjaminrood16485 жыл бұрын
I am yet to see a David Nolan talk I didn't find interesting.