Re: Parameter Modes, In In Out and Out

[dmitry6243@my-deja.com]

In article <93f6ar$m44$1@nnrp1.deja.com>,
  Robert Dewar <robert_dewar@my-deja.com> wrote:
> In article <93encq$brm$1@nnrp1.deja.com>,
>   dmitry6243@my-deja.com wrote:
> > But single dispatch is simply wrong for binary
> > operations.
>
> Declaring something is "simply wrong" is not an argument, just
> an unsubstantiated claim. The issue here is one of complexity
> versus functinality. The issue has been argued in great detail
> on previous occasions, so there is little point in arguing
> again, unless you think you have a new argument to bring to
> the table (of which I have seen no evidence so far). I would
> recommend that you dig up and study previous discussions of
> this topic, and the open it again only if you think you have
> something really new to add.

It is not complex vs. functional, it is correct vs. incorrect. Single
dispatch is NOT applicable for types having binary operations as
methods. It was discussed in comp.object. Ada's way to "handle" this
problem is to force type tags of dispatching parameters be same. This
is unsafe, because it happens in worst case at run-time.

--
Regards,
Dmitry Kazakov


Sent via Deja.com
http://www.deja.com/