[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] Unions in Spad
From: |
Stephen Wilson |
Subject: |
Re: [Axiom-developer] Unions in Spad |
Date: |
11 Jul 2007 14:40:09 -0400 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.4 |
Gabriel Dos Reis <address@hidden> writes:
[...]
> In general, I'm of the opinion that the language should be
> constrained only when we cannot come with proper semantics.
> I'm not sure this case is one such case; that is why I would
> like to understand the arguments. I don't want a language
> designed to express only what I can think of today.
In general I agree. Thats why I posted the questino to begin with --
I did not want to rashly abandon the possibility that the construct
might have some use.
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?
Take care,
Steve
- Re: [Axiom-developer] Unions in Spad, (continued)
- 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, 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 <=
- 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