[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

-- Gaby

reply via email to

[Prev in Thread] Current Thread [Next in Thread]