Hello Waldek,
> I have just removed support for a few constructs that I consider
> obsolete:
> - usage of '(|', '|)', '(<' and '>)' insted of '[', ']', '{' and '}'
> - APL like syntax for maps
> - "scripted symbols" in the Spad parser.
>
> Rationalle: I would like to merge old and new parser -- those constructs
> were present only in old parser. IMHO they are useless (while
> "scripted symbols" may be usefull, the implementation was useless).
// A //
Some languages have both constructs [|...|] and [...] for lists and array.
And it's the easiest way to create new data.
All the elements of a lists in axiom have the same type
but record aren't so constrained.
It may be useful to have a constructor which create a record :
AList := [ 11,22,33 ]
Arec := [| 123, "azerty", 1.2e-3 |] and used with Arec.1, Arec.2 or Arec.3
The new command is << too long >> and << less functionnal >>
// B //
The display of a finite set is {...} but it's impossible to construct
a set without the list. This may be useful to forecast a construct
for set without built the list. imagine a list of 10^5 equal elements.
It seems it's impossible to use brace {...} because it's the pile operator
for instructions, but an other construct might have any avantage.
// C //
The operator \/ and /\ may remain and be used for set. (union and intersect)
// D //
Axiom might also accept the usual ! for factorial.
// E //
Axiom doesn't allow to add a new operator in a *.input file.
But it's sometime nice to read a new line with the syntax of an operator
star (x,y) == x+y-x*y
star (star (x, y), z) is less funny than (x %*% y) %*% z.
So it's perhaps time to allow 2 or 3 unused operators that can be defined
in the interpreter.
-------------------------------------------------------------------------
This SF.net email is sponsored by: Microsoft
Defy all challenges. Microsoft(R) Visual Studio 2008.
http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/
_______________________________________________
open-axiom-devel mailing list
open-axiom-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
