"Bill Page" <[EMAIL PROTECTED]> writes: | On Thu, May 15, 2008 at 5:57 AM, Gabriel Dos Reis wrote: | > Bill Page writes: | > | | > | So to summarize, the pattern is something like this: | > | | > | if cond then | > | x := 1 | > | else | > | x := 2.3 | > | ... | > | | > | If this is allowed by the compiler, the question is what is the | > | type of 'x' outside the scope of the 'then' and 'else' clauses? | > ... | > | If the scope of 'x' is intended to be global, then the type of | > 'x' must be a Union. | > | > Union is one possiblity, another is a `real' overload. | > | | I agree with Waldek (in a different thread). I think the original | developers of Axiom explicitly decided against variable name | overloading. Do you know of any mainstream language where this is a | common programming paradigm?
I forgot to ask: Do you know of a mainstream programming language where the Union proposal is a common programming paradigm? -- Gaby ------------------------------------------------------------------------- This SF.net email is sponsored by: Microsoft Defy all challenges. Microsoft(R) Visual Studio 2008. http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/ _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
