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/ -~----------~----~----~----~------~----~------~--~---