 | | From: | Isaac Gouy | | Subject: | Re: Static vs dynamic | | Date: | 17 Jan 2005 21:00:18 -0800 |
|
|
 | > > The "extra" we see in dynamically type checked languages
> > has often been called "ad-hoc polymorphism" (more specifically
> > "overloading").
> > http://citeseer.ist.psu.edu/cardelli85understanding.html
>
> Ad-hoc poly-m does not require dynamically typed languages.
> I'm not sure where you are going with this.
>
> The "extra we see in dynamically type checked languages" regarding
> polymorphism is that you can achieve it entirely WITHOUT inheritance.
Inheritance provides inclusion polymorphism.
We aren't talking about parametric polymorphism.
So what's left?
|
|
| | From: | Thomas G. Marshall | | Subject: | Re: Static vs dynamic | | Date: | Tue, 18 Jan 2005 16:20:55 GMT |
|
|
| Isaac Gouy coughed up:
>>> The "extra" we see in dynamically type checked languages
>>> has often been called "ad-hoc polymorphism" (more specifically
>>> "overloading").
>>> http://citeseer.ist.psu.edu/cardelli85understanding.html
>>
>> Ad-hoc poly-m does not require dynamically typed languages.
>> I'm not sure where you are going with this.
>>
>> The "extra we see in dynamically type checked languages" regarding
>> polymorphism is that you can achieve it entirely WITHOUT inheritance.
>
> Inheritance provides inclusion polymorphism.
> We aren't talking about parametric polymorphism.
> So what's left?
Ah, but the statement was that ad-hoc overloading is the extra we get in
dynamically typed languages. Ad-hoc overloading is available in statically
typed languages. I'm pointing out that (ad-hoc or not) the "extra" we
receive in dynamic is /specifically/ the ability to achieve polymorphism
without inheritance.
You once gave me this wonderful link:
http://research.microsoft.com/Users/luca/Papers/OnUnderstanding.A4.pdf
But see my upthread example. Find your favorite poly term for it, but I'd
describe it as simply dynamically following a jump table /not/ based upon
type (as my example shows). OO 101 stuff really.
--
Everythinginlifeisrealative.Apingpongballseemssmalluntilsomeoneramsitupyourn
ose.
|
|
