(j3.2006) reduction routine

[Aleksandar Donev]

On Wednesday 19 May 2010, Malcolm Cohen wrote:
> Anyway, I think that no special form is necessary - just have
> REDUCTION take a procedure argument, and apply the procedure.  The
> user can write his own function and have both genericity
I do not see how the user can do this. The dummy arguments will have to 
be declared with some type. Sure, the user can call a generic in the 
procedure, but that will be resolved at the time the procedure is 
compiled, not when the REDUCTION is called, which is what I think Bill 
wants (and users would).
> and dynamic
> dispatch applied within it should that be what he wishes.
This depends on what the procedure of this interface is 
allowed/specified to be---it will only work if type information is also 
passed. With an intrinsic we can of course be more flexible and allow 
either CLASS or TYPE dummy arguments, or something like this.
Best,
Aleks
-- 
Aleksandar Donev, Ph.D.
Luis W. Alvarez Postdoctoral Fellow
Center for Computational Sciences and Engineering (https://ccse.lbl.gov)
Lawrence Berkeley National Laboratory (http://www.lbl.gov)
E-mail: adonev at lbl.gov
Phone: (510) 486-5782  Fax: (510) 486-6900
Address: MS 50A-1148, LBL, 1 Cyclotron Rd., Berkeley, CA 94720
Web: http://cims.nyu.edu/~donev/