It seems like email are getting lost on the way to sage-devel:
Nicolas M. Thiéry wrote:
> However, what we do in Aldor-Combinat cannot be done so elegantly in any
> > other language I know off. We learned a lot from MuPAD-combinat, but our
> > design is completely different from MC, since Aldor is so powerful.
Yes, your design is vastly more elegant. And I am glad to have
participated in its launching, because I love to see such design
experiments, as source of inspiration for future developments. But at
the end of the day, and IMHO, your design could be implemented in any
reasonable language with little loss of elegance (the delegating to
the compiler the recurrence resolution on types). And we plan to do it
at some point.
Cheers,
Nicolas
-- Nicolas M. Thiéry "Isil" <[EMAIL PROTECTED]> http://Nicolas.Thiery.name/
--~--~---------~--~----~------------~-------~--~----~
To post to this group, send email to sage-devel@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at http://groups.google.com/group/sage-devel
URLs: http://sage.scipy.org/sage/ and http://modular.math.washington.edu/sage/
-~----------~----~----~----~------~----~------~--~---
