Martin Rubey <[EMAIL PROTECTED]> writes: | Gabriel Dos Reis <[EMAIL PROTECTED]> writes: | | > Martin has a very good summary. Many reserachers and potential | > contributors out there are not interested in learning Lisp just to be | > able to use Axiom, which already requires its own language. That make | > the number of people capable to maintaining and evoling the | > interperter already very small. | | Well, in fact I believe that the sets of people doing maths with Axiom and | people hacking the compiler or interpreter will be nearly disjoint.
:-) [...] | > | * make it understand Aldor: | > | | > | * dependent types | > | > Does not Axiom already user dependent type? Do you have something | > specific in mind? | | not completely: | | f: (n: Integer) -> PrimeField n | | is OK for Aldor, but not for SPAD. This is the reason for series returning the | ANY Type, for example. Ah, okey. Good point! Many thanks. -- Gaby _______________________________________________ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer
