 | I agree. I wrote this and it's wrong:
> The "extra" we see in dynamically type checked languages has often
> been called "ad-hoc polymorphism" (more specifically "overloading").
The "extra" we see is apparent when we use ad-hoc polymorphism; but
arises because the execution context is "used to decide which function
is denoted by a particular instance of the name" (rather than the
compilation context).
> As explained by Cardelli and Wegner in
>
http://research.microsoft.com/Users/luca/Papers/OnUnderstanding.A4.pdf
>
> "There are also two major kinds of ad-hoc
> polymorphism. In overloading the same variable
> name is used to denote different functions, and
> the context is used to decide which function is
> denoted by a particular instance of the name."
|
|
