freenode/#sicl - IRC Chatlog
Search
12:59:04
beach
It is not quite complete, but before I continue, I would like remarks on it, remarks about the precision of the text, but especially remarks regarding whether you think it works: http://metamodular.com/SICL/discriminating-automaton.tex
12:59:30
beach
It is not TeX yet, but when it is finished, I'll incorporate it into the specification.
13:01:05
beach
heisig: In case you missed it. I wrote a generic version of TYPEP and it has EQL specializers. I need to figure out how to cache calls to it, and also how to satiate it.
13:02:16
beach
I am both wired and exhausted. I worked too hard on this thing since yesterday. I need to figure out a way to relax.
13:12:23
heisig
beach: Yes, I read about your work on EQL specializers. But I didn't think it through yet.
13:14:19
beach
So if TYPEP contains EQL specializers, we don't currently cache calls, which means we call compute-applicable-methods, etc, in each call. These functions use things like copy-list, nth, etc.
13:16:12
beach
Besides we had to figure out how to cache calls to direct instances of standard-generic-functions with EQL specializers anyway.
13:17:08
heisig
I think you already wrote that bypassing COMPUTE-APPLICABLE-METHODS for standard generic functions is possible.
13:18:23
heisig
The other one could be to follow the generalizers/specializers proposal. But I am not sure that is applicable here.
13:23:38
beach
Yes, my suggestion relies on the fact that we can bypass COMPUTE-APPLICABLE-METHODS for direct instances of STANDARD-GENERIC-FUNCTION.