Re: [Axiom-developer] about Expression Integer

[Ralf Hemmecke]

> Just curious: The syntax:
>
>   map(f:R -> S)(p:RX):SX == {...
>
> looks strangely abbreviated to me. Why not write:
>
>   map(f:R -> S):RX->SX ==
>
>    (p:RX):SX +-> { ... 
>  
> Is this equivalent?

Yes.

And to make it even clearer...

In Aldor "==" defines a constant. And the constant here is "map". So it 
should actually be written as

map: (R -> S) -> RX -> SX == {
  (f: R -> S): (RX -> SX) +-> { (p: RX): SX +-> {...} }
}

We all know that functions are first class citizens.

http://www.aldor.org/docs/HTML/chap6.html#5

You probably agree that it is somehow a good thing that the Aldor 
compiler adds a bit of syntactic sugar for such constructions.

Ralf