[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Axiom-developer] sbcl and Axiom

From: root
Subject: Re: [Axiom-developer] sbcl and Axiom
Date: Wed, 26 Jul 2006 21:59:17 -0400

> 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.


reply via email to

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