libera/#sicl - IRC Chatlog
Search
13:17:14
beach
For the package system, I made two ASDF system definitions, one for the intrinsic system and one for the extrinsic system. Each one has a specific file defining a package. Each package definition has a very similar list of uninterned symbols used in the :EXPORT option of DEFPACKAGE, and the extrinsic system shadows many of the same symbols. I would like to define that list of symbols once. But where (in which file and in which
13:18:16
beach
I am thinking of making a -BASE ASDF system that defines a package to use only for the ASDF systems and of putting a special variable in the -BASE system that contains the list of common uninterned symbols.
13:34:30
Bike
i read your make method lambda paper again since metamodular is back up. it's true that it solves the compiler time behavior problem, but it doesn't deal with the other problems costanza complains about, like the tight coupling between generic functions and method classes, or the call-method stuff i talk about.
13:36:01
beach
I need to read your thing again with respect to call-method. And I need to refresh my memory about the right coupling you are referring to.
13:39:00
beach
The compiler records the name of that class and generates the appropriate call to make-instance for the subsequent DEFMETHOD forms.
13:41:00
beach
That was an "interesting" referee dialogue by the way. I was totally surprised that Costanza took it as a personal attack rather than as joint progress.
13:41:55
beach
I personally welcome any papers by others criticizing claims in mine. I mean, what do I care? Mine has already been published.
13:42:55
beach
Well, it ended well, since he discovered that one of the "examples" in their paper was totally wrong. It was code from the AMOP book, but the wrong code.
13:43:54
beach
And he of course agreed to accept the paper. The required modifications made it better, I think, and I too discovered their mistake and could mention it.
13:46:19
beach
Speaking of which, a recent article in CACM discusses peer reviews for CS conferences, and the process used by ELS seems much more sound than what is the norm.
13:47:53
beach
The norm, to my surprise, seems to be that people apply as candidates for reviewers and the program chair doesn't know who these people are. They are trusted to declare conflicts, but there is a trend of "collusion" where authors and reviewers know one another without declaring it.
13:49:17
beach
For ELS, the members of the program committee are suggested and selected by the program chair, so these people are known, and it is common knowledge if there are conflicts involved.
13:53:26
Bike
i guess your solution does address the coupling, since costanza's basic complaint is that, given a compiler that doesn't know the method class, the behavior of make-method-lambda is entirely dependent on the generic function class
13:53:50
Bike
but even with this fix you'd still have to go kind of out of your way to define methods for the same generic function with different classes
13:55:45
Bike
being able to use defmethod for that would require some additional extension i haven't thought much about either, though. like leeting a defmethod specify a method class.
14:05:57
beach
I am not sure my solution solves every problem, but I was convinced that it solved all the problems indicated in their paper.
14:06:34
beach
So at some point, I'll re-read your post and try to understand it in the context of my paper.
14:10:53
Bike
i mean, it happens in even standard code. you can have a generic function with accessor methods and non-accessor methods.
14:13:25
Bike
it's not more complicated than the current situation. it's just not particularly easier
14:15:13
Bike
a little bit. it's supposed to make the method invocation protocol dependent almost only on the method. but i don't talk about defmethod extensions or anything.