"Bill Page" <[EMAIL PROTECTED]> writes: | On Thu, May 15, 2008 at 10:00 PM, Gabriel Dos Reis <[EMAIL PROTECTED]> wrote: | > "Bill Page" <[EMAIL PROTECTED]> writes: | > | 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? | > | | That's a fair question but I expect you already know the answer. :-)
Not in the form of your original suggestion. I agree that if in the meantime, you have substantially modified your proposal, then the question is moot. | I would suggest the following list: | | Algol, ML, Haskell, Pascal, Ada, Modula-2 and C++ (Boost) | | from http://en.wikipedia.org/wiki/Tagged_union None of them change the type of the same variable at three point of the program (the two branches of an if, plus the meet point) which your proposal suggested. -- 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
