Bill Page wrote:
>
> 10) -> typeOf(SetCategory)
>
> (10) Category
> Type: Type
>
> (11) -> typeOf(Category)
>
> (11) Variable(Category)
> Type: Type
>
> This has always seemed a little schizophrenic to me.
Well, interpreter has no _explicit_ knowlege about categories.
In particular it does not know what 'Category' is, so treats
it as ordinary variable name. OTOH:
(2) -> typeOf(Integer)
(2) Type
Type: Category
(3) -> typeOf(typeOf(Integer))
(3) Category
Type: Type
(4) -> typeOf(typeOf(typeOf(Integer)))
(4) Category
Type: Type
(5) -> typeOf(typeOf(typeOf(typeOf(Integer))))
(5) Category
Type: Type
So type operations can handle 'Category'...
--
Waldek Hebisch
--
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.
