Re: [Axiom-developer] Re: noweb / Lisp Skills

[Gabriel Dos Reis]

Martin Rubey <address@hidden> writes:

| Gabriel Dos Reis <address@hidden> 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