Hi, Am 22.01.2009 um 18:25 schrieb David Nolen:
Can't some elements of the problem be solved with some form of predicate dispatching as proposed by Meikel? Predicate dispatching would allows us to use _anything_ as a type (i.e. structs themselves), as well as allowing user defined functions to do the matching instead of being limited to isa? and the global hierarchy. This of course has some performance implications I imagine...
No, Rich mentioned predicate dispatching. :) I barely wrote a simple patch to allow per def-multi hierarchies. However I looked at the a paper by Chambers and Chen on predicate dispatch and it looks a little more involved than the patch mentioned above. ;) This is really interesting. Although I think that I didn't even test the current multimethod system to its limits. Sincerely Meikel
smime.p7s
Description: S/MIME cryptographic signature
