On Wed, 11 Jul 2007, Stephen Wilson wrote: | I belive a useful semantics for a `hybrid' Union is possible. I | belive I can make it work but am unsure when I will have the time to | implement it. Perhaps it would be best to get a prototype running and | conduct some experiments to get an empirical `feel' for the construct?
That would be definitely useful. I hope to have time to put the slides of the talk I gave about Axiom (personal views) on the web by tonight. In general I would like to see `real' algebra datatypes and pattern matching in pad, instead of the current cruiosu case statements. -- Gaby _______________________________________________ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer
