Re: [Axiom-developer] Unions in Spad

[Gabriel Dos Reis]

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