[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] Re: noweb / Lisp Skills
From: |
Gabriel Dos Reis |
Subject: |
Re: [Axiom-developer] Re: noweb / Lisp Skills |
Date: |
04 May 2006 17:52:46 +0200 |
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
- Re: [Axiom-developer] Re: noweb, (continued)
RE: [Axiom-developer] Re: noweb, Page, Bill, 2006/05/03
- Re: [Axiom-developer] Re: noweb, root, 2006/05/04
- Re: [Axiom-developer] Re: noweb, Gabriel Dos Reis, 2006/05/04
- Re: [Axiom-developer] Re: noweb, C Y, 2006/05/04
- Re: [Axiom-developer] Re: noweb / Lisp Skills, Martin Rubey, 2006/05/04
- Re: [Axiom-developer] Re: noweb / Lisp Skills, Gabriel Dos Reis, 2006/05/04
- Re: [Axiom-developer] Re: noweb / Lisp Skills, Martin Rubey, 2006/05/04
- Re: [Axiom-developer] Re: noweb / Lisp Skills,
Gabriel Dos Reis <=
RE: [Axiom-developer] Re: noweb, Page, Bill, 2006/05/03
RE: [Axiom-developer] Re: noweb, Page, Bill, 2006/05/04
RE: [Axiom-developer] Re: noweb, Page, Bill, 2006/05/04
RE: [Axiom-developer] Re: noweb, Page, Bill, 2006/05/04
Re: [Axiom-developer] Re: noweb, Ralf Hemmecke, 2006/05/04
RE: [Axiom-developer] Re: noweb, Page, Bill, 2006/05/04