> > I wonder what is the goal of this excercise? Probably futile, but oldk's TypePackage is so simple, elegant. BTW I've read your comment on this ... no objections ;)
> > BTW: Both in Spad and in interpreter overload resolution > takes into account target type. So for expressions anwer > depends on how you ask the question... > > 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). > -- 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.
