Am 29.10.2016 um 16:02 schrieb Bill Page: > In the interpreter the built-in 'typeOf' returns > > (8) -> typeOf(Integer) > > (8) Type > Type: Category > > (9) -> typeOf(Type) > > (9) Category > Type: Type > > 10) -> typeOf(SetCategory) > > (10) Category > Type: Type > > (11) -> typeOf(Category) > > (11) Variable(Category) > Type: Type > > This has always seemed a little schizophrenic to me. >
To me as well. I've been looking for how "typeOf" is implemented (grep in folder interp) without success. Apparently we cannot use the function with the compiler, can't we? Oldk's "typeof" is limited to "Type" by design, so "typeof Ring" won't work as you pointed out - it's really paradox, but somehow comprehensible as we can't do r:Ring either. BTW 'dom' is sufficient, of course. My answer wasn't meant so seriuosly. -- 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.
