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
_______________________________________________
Axiom-developer mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-developer
