[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] sbcl and Axiom
From: |
Gabriel Dos Reis |
Subject: |
Re: [Axiom-developer] sbcl and Axiom |
Date: |
27 Jul 2006 05:15:12 +0200 |
root <address@hidden> writes:
| > Can we construct a Maple parser that will generate Axiom internal
| > > S-expressions? This would allow us to replace the Axiom input language
| > > with a Maple input language. Is this useful? Is this better than B#?
| >
| >
| > That look complicated.
| > My understanding of B# is it will be a smart interpreter that can do as
| > much type guessing as possible. But if people want to specify type they
| > should be free to do so.
|
| Well, as long as we're talking about changing the input language
| so that it is type-free, one thing to consider would be to mimic
| the Maple language. That would give us a large test suite of
| programs and examples. It also might be fairly enlightening about
| the issues, both for us and for Maple.
I consider Maple language to be cripled, grown barnacle over the
year. With hindsight, we must be very careful. I thought that
B-natural was considerd to be the typeless language of choice for
Axiom?
-- Gaby
- Re: [Axiom-developer] sbcl and Axiom, (continued)
- Re: [Axiom-developer] sbcl and Axiom, root, 2006/07/26
- [Axiom-developer] Provisos, root, 2006/07/26
- Re: [Axiom-developer] sbcl and Axiom, root, 2006/07/26
- Re: [Axiom-developer] sbcl and Axiom, Antoine Hersen, 2006/07/26
- Re: [Axiom-developer] sbcl and Axiom, root, 2006/07/26
- Re: [Axiom-developer] sbcl and Axiom, root, 2006/07/26
- Re: [Axiom-developer] sbcl and Axiom,
Gabriel Dos Reis <=
- RE: [Axiom-developer] sbcl and Axiom, Page, Bill, 2006/07/27
- Re: [Axiom-developer] sbcl and Axiom, root, 2006/07/26
- RNG vs. RING was: Re: [Axiom-developer] sbcl and Axiom, Ralf Hemmecke, 2006/07/27
- [Axiom-developer] Re: Rng, Martin Rubey, 2006/07/28
- Re: [Axiom-developer] Re: Rng, Ralf Hemmecke, 2006/07/28
- Re: [Axiom-developer] sbcl and Axiom, Ralf Hemmecke, 2006/07/27
- RE: [Axiom-developer] sbcl and Axiom, Page, Bill, 2006/07/26
- RE: [Axiom-developer] sbcl and Axiom, Weiss, Juergen, 2006/07/26
- RE: [Axiom-developer] sbcl and Axiom, Page, Bill, 2006/07/26
- RE: [Axiom-developer] sbcl and Axiom, C Y, 2006/07/26