On 5 May, 17:37, "Dmitry A. Kazakov" <mail...@[EMAIL PROTECTED]
>
wrote:
> I think a consistent types system would be a better way. In Ada it
> is always known if a call is dispatching or not. That is because of
> proper typing. When an object is of a specific type, its methods
> never dispatch, for that obvious reason, that the type is known to
> be specific.
From what I've read about it, in Ada you can actually statically or
dynamically dispatch depending on *how* you call the subprogram. I've
not tried this BTW, but would love to see an example :D
Luke.
|
