freenode/#sicl - IRC Chatlog
Search
7:47:50
beach
YAY, finished my report on Jim Newton's thesis. Now I just have to ask my favorite coauthor to proofread it for me. Then I can ship it.
7:50:57
no-defun-allowed
beach (IRC): regarding the storage model for CLOSOS, what if you have more hard drive space than your processor allows for?
7:52:21
no-defun-allowed
well my interpretation was that hard drives would effectively operate in the memory space of the processor, as if it was RAM for the most part
7:52:47
scymtym
beach: fiddlerwoaroof brought up the following in #sbcl: http://plaster.tymoon.eu/view/987#987 the methods defined in lines 18 and 19 are in the same group, agree in specializers but disagree in qualifiers. we couldn't decide whether this is allowed or not. do you have an opinion?
7:53:29
beach
no-defun-allowed: I can't have more disk space as part of the main memory than what the processor can address.
7:58:58
beach
As far as I can tell, it's allowed. I mean, you can have an :AROUND method and an :AFTER method with the same specializers.
8:01:59
beach
As long as the method combination produces an effective method, it can do what it pleases. At least I think so.
8:02:52
scymtym
the only problem i can think of is COMPUTE-APPLICABLE-METHODS behavior non-deterministically
8:03:27
beach
I don't think so. As I recall, it already returns the methods in order of most applicable first.
8:04:25
scymtym
maybe i'm confused, but i think COMPUTE-APPLICABLE-METHODS shouldn't look at qualifiers so it would return those methods in an arbitrary order
8:04:56
scymtym
that may be fine since, as you both point out, the method combination will take care of it
8:06:53
scymtym
technical problems notwithstanding, i feel like fiddlerwoaroof's example should work
8:06:58
fiddlerwoaroof
7.6.6.1.3 seems to say that the method combination is responsible in this case
8:07:21
fiddlerwoaroof
"A qualifier serves to mark a method, and the meaning of a qualifier is determined by the way that these marks are used by this step of the procedure (e.g. method combination)"
8:08:58
beach
fiddlerwoaroof: Reminds me of a song by King Crimson: "I repeat myself under stress. I repeat myself under stress. I repeat myself under stress..."
8:10:01
fiddlerwoaroof
It's just my luck that, when I finally get around to investigating a new corner of the spec, I run into a bug :)
8:15:16
scymtym
fiddlerwoaroof: for corners of the spec that is not uncommon and not particularly unlucky
8:16:34
scymtym
fiddlerwoaroof: it would be nice to fix SBCL, so feel free to submit a patch. i would definitely apply it unless Xof can think of a reason why it shouldn't be allowed
13:17:26
Bike
sorry if someone mentioned this already, but define-method-combination mentions the case of being in the same method group with the same specializers but different qualifiers
13:37:46
beach
She is invaluable. That's why I don't produce anything when she is busy with other things.