libera/#sicl - IRC Chatlog
Search
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.