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.
