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.
On 29 October 2016 at 09:51, Bill Page <[email protected]> wrote:
> Oh, OK sorry I should have read more carefully and tried exactly what you
> wrote.
>
> (1) -> typeof(Integer)
>
> (1) Type
> Type: Type
> (2) -> typeof(Float)
>
> (2) Type
> Type: Type
>
> Maybe this result is controversial. How do we define the 'typeof' for
> domains? 'Type' is the top of the category lattice so all domains
> satisfy 'Type'. But there are many other possible answers. And a
> possibly non-unique "least" answer.
>
> But try
>
> (3) -> typeof(Type)
> Internal Error
> The function typeof with signature hashcode is missing from domain
> TypePackage
>
> (3) -> typeof(SetCategory)
> Internal Error
> The function typeof with signature hashcode is missing from domain
> TypePackage
>
>
> On 29 October 2016 at 09:36, Bill Page <[email protected]> wrote:
>> "dom can't" ??? dom does.
>>
>> On 28 October 2016 at 23:49, Kurt Pagani <[email protected]> wrote:
>>> Not really, but if nothing else sameType?(Integer,Float) works, dom can't
>>> ;-)
>>>
>>>
>>> Am 29.10.2016 um 04:54 schrieb Bill Page:
>>>> Is that better than
>>>>
>>>> (1) -> (dom([1,2,3])=dom([1,2]))@Boolean
>>>>
>>>> (1) true
>>>> Type:
>>>> Boolean
>>>> (2) -> (dom([1,2,3])=dom([1,2,%pi]))@Boolean
>>>>
>>>> (2) false
>>>> Type:
>>>> Boolean
>>>>
>>>> ??
>>>>
>>>
>>> --
>>> 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.
--
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.
