Re: renaming Interfaces.Java.Ada_To_Java_String to the + operator

[dewar@merv.cs.nyu.edu (Robert Dewar)]

Chris said

<<In the Intermetrics X11 and Motif bindings there is a generic &
operator which is used to approximate the variable argument list C
functions in the original interface, allowing you to write stuff like
this :
>>

The other way of handling variable length lists is to use an
aggregate

   subprogname ((arg1, arg2, arg3, arg4, ....));

that is definitely neater than &. Furthermore, if you use the & approach
you have to be very careful not to introduce quadratic processing (which
is often quite tricky to do, if the target is really an array (*))

If you need heterogenous typing, then you define an appropriate union
type, and convert to it:

   subprogname ((+arg1, +arg2, +arg3, +arg4, ....))

which still retains linear processing time. If Chris' example is anywhere
near realistic (where many operands were joined with &), then I think the
use of & was probably not such a good choice as using aggregates.

(*) the problem of aggregated operators, concatenation on strings is
a canonical example, is an interesting one. No language in common use
tries to address the issue of converting

      A & B & C & D ...

into what is wanted, which is

      Concat ((A,B,C,D ...))

I can certainly imagine a pragma that would have this effect:

      pragma Collect_Operation (Operation => name, Subprogram => name);

where the parameters designate the dyadic operator to be treated,
which needs to have the profile (typ X typ => typ), and the
corresponding subprogram, which needs to have the profile
(row-of-typ => typ).

To use this for the builtin concatenation (many compilers special case this,
we just added this kind of special casing to GNAT), you also need to deal
with rowing of elements, i.e. if the operand typ is itself row-of-component,
then you allow components in the list with automatic rowing operations.


P.S. the above uses ALgol-68 notation and terminology, which is highly
convenient in a case like this:

row-of-x is a type that is a single dimension array whose component
type is x

rowing is the coercion that takes type x to type row-of-x