On 28 October 2016 at 22:16, Waldek Hebisch <[email protected]> wrote: > > BTW2: The desion goal of FriCAS typesystem was that anwer to > questions like 'sameType?' should be mostly statically known, > without need for runtime tests (I write "mostly" because > Union-s require some testing). >
What testing is required for Union? For example if x:Union(Integer,Float) then the static type of x is just 'Union(Integer,Float)' for ALL values x. Whether we can produce a given value by coercing an Integer or a Float is not part of the type information, is it? -- 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.
