Re: What is the "+/" operator?

Quoting Ralf Hemmecke <[email protected]>:

> ... 
> But if you like the
>
> f/[a,b,c]
>
> syntax, you can actually define a similar things in Aldor. (I guess,
> SPAD would be just the same.)
>

That's cool, Ralf. 

Take a look at this in the Axiom interpreter:

(1) -> Z ==> Integer
                                    Type: Void

(2) -> /: ((Z, Z) -> Z, List Z) -> Z
                                    Type: Void

(3) -> _/(f: (Z, Z) -> Z,l: List Z): Z == ( empty? l => 0; f(first l, f/(rest
l)))
    Function declaration ?/? : (((Integer,Integer) -> Integer),List
       Integer) -> Integer has been added to workspace. 
                                    Type: Void

(4) -> (+)/[1,2,3]
    Compiling function / with type (((Integer,Integer) -> Integer),List
       Integer) -> Integer

    (4)  6
                                    Type: PositiveInteger

--------

Regards,
Bill Page.