[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] Unions in Spad
From: |
Gabriel Dos Reis |
Subject: |
Re: [Axiom-developer] Unions in Spad |
Date: |
Wed, 11 Jul 2007 13:44:52 -0500 (CDT) |
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
- Re: [Axiom-developer] Unions in Spad, (continued)
- Re: [Axiom-developer] Unions in Spad, Bill Page, 2007/07/09
- Re: [Axiom-developer] Unions in Spad, Bill Page, 2007/07/09
- Re: [Axiom-developer] Unions in Spad, Ralf Hemmecke, 2007/07/09
- Re: [Axiom-developer] Unions in Spad, Bill Page, 2007/07/09
- Re: [Axiom-developer] Unions in Spad, Ralf Hemmecke, 2007/07/09
- Re: [Axiom-developer] Unions in Spad, Stephen Wilson, 2007/07/11
- Re: [Axiom-developer] Unions in Spad, Gabriel Dos Reis, 2007/07/11
- Re: [Axiom-developer] Unions in Spad, Stephen Wilson, 2007/07/11
- Re: [Axiom-developer] Unions in Spad, Gabriel Dos Reis, 2007/07/11
- Re: [Axiom-developer] Unions in Spad, Stephen Wilson, 2007/07/11
- Re: [Axiom-developer] Unions in Spad,
Gabriel Dos Reis <=
- Re: [Axiom-developer] Unions in Spad, Stephen Wilson, 2007/07/11
Re: [Axiom-developer] Unions in Spad, Gabriel Dos Reis, 2007/07/11