[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiomdeveloper] sbcl and Axiom
From: 
Gabriel Dos Reis 
Subject: 
Re: [Axiomdeveloper] 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
 > > Sexpressions? 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 typefree, 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
Bnatural was considerd to be the typeless language of choice for
Axiom?
 Gaby
 Re: [Axiomdeveloper] sbcl and Axiom, (continued)
 Re: [Axiomdeveloper] sbcl and Axiom, root, 2006/07/26
 Re: [Axiomdeveloper] sbcl and Axiom, root, 2006/07/26
 RE: [Axiomdeveloper] sbcl and Axiom, Page, Bill, 2006/07/26
 Re: [Axiomdeveloper] sbcl and Axiom, Alfredo Portes, 2006/07/26
 Re: [Axiomdeveloper] sbcl and Axiom, root, 2006/07/26
 [Axiomdeveloper] Provisos, root, 2006/07/26
 Re: [Axiomdeveloper] sbcl and Axiom, root, 2006/07/26
 Re: [Axiomdeveloper] sbcl and Axiom, Antoine Hersen, 2006/07/26
 Re: [Axiomdeveloper] sbcl and Axiom, root, 2006/07/26
 Re: [Axiomdeveloper] sbcl and Axiom, root, 2006/07/26
 Re: [Axiomdeveloper] sbcl and Axiom,
Gabriel Dos Reis <=
 RE: [Axiomdeveloper] sbcl and Axiom, Page, Bill, 2006/07/27
 Re: [Axiomdeveloper] sbcl and Axiom, root, 2006/07/26
 RNG vs. RING was: Re: [Axiomdeveloper] sbcl and Axiom, Ralf Hemmecke, 2006/07/27
 [Axiomdeveloper] Re: Rng, Martin Rubey, 2006/07/28
 Re: [Axiomdeveloper] Re: Rng, Ralf Hemmecke, 2006/07/28
 Re: [Axiomdeveloper] sbcl and Axiom, Ralf Hemmecke, 2006/07/27
 RE: [Axiomdeveloper] sbcl and Axiom, Page, Bill, 2006/07/26
 RE: [Axiomdeveloper] sbcl and Axiom, Weiss, Juergen, 2006/07/26
 RE: [Axiomdeveloper] sbcl and Axiom, Page, Bill, 2006/07/26
 RE: [Axiomdeveloper] sbcl and Axiom, C Y, 2006/07/26