Waldek, I still do not understand Ralf's answer.
Can you given an example of running code in which "compiled code can use types which are constructed using type constructors which were written _after_ compilation"? For example: A program which constructs some new type at run-time and then uses if for some computation? Regards, Bill Page. On Tue, Feb 21, 2012 at 11:29 AM, Waldek Hebisch <[email protected]> wrote: > Bill Page wrote: >> >> 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. >> > > Ralf gave good answer. Let me add that Spad compiler must > know category constructors during compilation, but compiled > code can use types which are constructed using type > constructors which were written _after_ compilation > of using code. > > -- > Waldek Hebisch > [email protected] > > -- > 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. > -- 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.
