axiom-developer
[Top][All Lists]
Advanced

[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





reply via email to

[Prev in Thread] Current Thread [Next in Thread]