"Bill Page" <[EMAIL PROTECTED]> writes: | On May 7, 2007 8:57 PM Gaby wrote: | > Bill Page writes: | > | > | On May 7, 2007 3:49 PM Martin wrote: | > | > ... | > | > I guess the whole bootstrap problem would go away with | > | > "extend"... What a pity! | > | > | > | | > | Could you explain why you think the bootstrap problem would | > | go away this extend? | > | > Many of the categories and friends dragged in by Integer do | > not seem to be of necessity at the lowest level. So, you | > could start with just the simple data structure Integer with | > few operations and extend it as you go. | > | | But for this to be sucessful for the entire Axiom library | wouldn't that require that there be no essential mutual | recursion between source modules?
Spad needs to move to mutual recursion (with appropriate restrictions) anyway. | I do not see how extend | helps in this case. Sure it is possible even to have | mutual recursion between extensions, not? I don't know what a mutual recursion between extensions mean, but definitely mutual recursion between domains is needed for natural expressions of domains. -- Gaby _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
