On Wed, 24 Oct 2007, Bill Page wrote: | | On 10/24/07, Gabriel Dos Reis wrote: | > ... | > Stream is an *example* of a generator like domain. I would not want | > to turn my BinaryTree into a Stream before iterating over it. | > | | It seems very natural to me to write: | | t:BinaryTree Integer | t:= ... | for i in t repeat ... | | but perhaps the meaning is not so clear.
I don't see the `natural'-ness since a BinaryTree Integer has many traversal views, with 3 of them being very popular. Which one is more natural than the others and why? -- Gaby _______________________________________________ Axiom-math mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-math
