Re: [Axiom-developer] sbcl and Axiom

[Gabriel Dos Reis]

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