> 3. There is a problem for "Union", there is this common idiom: > > a := xxxIfCan(xxx) > a case "failed" => xxx > a::A_VERY_LONG_TYPE
If I am not completely wrong then there is code in the comiler that allows to simly write a insteat of a::A_VERY_LONG_TYPE. In other words, the compiler automatically coerces. I don't like automatic coercion, so you also get +1 for your suggestion of Maybe. I'd still rather call it "Partial" as in Aldor, but obviously "Maybe" is used in many functional programming languages, so "Maybe" is also OK for me. It's implemented in OpenAxiom already. Ralf -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
