On 6/18/08, Ralf Hemmecke wrote:
> ...
> Bill Page wrote:
>> That category that plays this role in Axiom is called Type
>
>> (1) -> )sh Type
>> Type is a category constructor
>
> Hmmm, maybe I mix again Aldor and SPAD...
>
> See section 7.7 AUG:
> Type: A type S satisfies the language-defined type Type if S is
> the type of a domain or category. In other words, all domains
> and categories are types.
>
> Is this really different for SPAD? (I am not saying anything about the
> interpreter.)
No, I think it is the same. Both domains and categories satisfy Type, e.g.
(1) -> SetCategory has Type
(1) true
Type: Boolean
(2) -> Integer has Type
(2) true
Type: Boolean
> Is there a definition for SPAD somewhere besides the one
> given by ")sh Type"?
>
I wish ...
>> But the structure of Type is quite different than the structure of a
>> domain.
>
> Sorry I don't know about the internals.
>
I meant the logical structure.
Regards,
Bill Page.
-------------------------------------------------------------------------
Check out the new SourceForge.net Marketplace.
It's the best place to buy or sell services for
just about anything Open Source.
http://sourceforge.net/services/buy/index.php
_______________________________________________
open-axiom-devel mailing list
open-axiom-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
