Ralf Hemmecke <[email protected]> writes: | Martin, may I ask what this is? | | I already do not like Union(t: T, "failed"), because that "failed" is | certainly not a string in that context, because Union, actually wants | a type, right?
In certain circumstances, Union accepts a string as a type. If you don't like Union(T,"failed"), there is the domain Maybe T (from OpenAxiom). And it is far more efficient than Union(T,"failed") -- the operation of returning a value never conses. | I'm sorry, but if it goes on like this.... | | On 07/09/2010 12:14 PM, [email protected] wrote: | > + ATANFLAG ==> Union("complex", _ | > + "real: two sides", _ | > + "real: left side", _ | > + "real: right side", _ | > + "just do it") | | then I now raise my voice and say: stop it! If you want an Enumeration | type then call for an extension of the language, but please don't | misuse Union. Would ATANFLAG ==> Enumeration(realTwoSide, realLeftSide,realRightSide,justDoIt) be acceptable to you? -- Gaby -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/fricas-devel?hl=en.
