Re: Keyword Arguments

Steve Dekorte <[email protected]> Fri, 22 Jun 2012 16:46:33 -0700
Newsgroups gmane.comp.lang.io
Message-ID <[email protected]>
On 2012-06-22 Fri, at 03:16 PM, Alexander Shpilkin wrote:
> On Fri, 2012-06-15 at 15:59 -0700, Steve Dekorte wrote:
> 
>> Multiple dispatch makes the deep assumption that a notion of external
>> type exists. But what notion of type can deal with something like a
>> proxy which is, in effect, all possible types? Or from another angle:
>> any system that depends on a notion of type that is anything more than
>> asking an object what it choses to do at the moment violates
>> encapsulation in ways that have serious consequences for what the
>> system can and can't do.
> 
> Have you considered the Dylan approach to multiple dispatch? As far as I
> remember you can implement the usual generic method semantics on top of
> an existing purely prototype-based object model as long as one can
> distinguish between a message send understood by the object itself and
> one understood by one of its prototypes. And you don't have to in case
> the object needs to have some special dispatch behavior.

Hi Alexander,

What does a type mean in Dylan exactly?

Steve