Waldek, What does "Normal types are dynamic" mean to you? E.g.
http://en.wikipedia.org/wiki/Type_system#Dynamic_typing does not seem to me to be describing Spad. Regards, Bill Page. On Thu, Feb 16, 2012 at 2:07 PM, Waldek Hebisch <[email protected]> wrote: > Bill Page wrote: >> >> It is important to remember that >> in Spad all types are static and must in general be fully determined >> at compile time. > > No. _Categories_ are static and must be determined at compile > time. Normal types are dynamic. Of course, Sergei will > have trouble because apparently he wants to work on > arbitrary type (for which Type is appropriate category), > while to do operations he needs more specific categories. > > -- > Waldek Hebisch -- 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.
