Re: [Axiom-developer] Bootstrap documentation.

[Gabriel Dos Reis]

"Bill Page" <address@hidden> 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