Waldek Hebisch <hebi...@math.uni.wroc.pl> writes: | > | > While working through the semantics implications of category exports, | > I've come to the conclusion that any domain D that satisfies the | > category IndexedAggregate must also be morally finite. For each | > instance of such a domain would need to have a finite indices (because | > the operations indices$D must return a list), and it would also need to | > have a finite set of entries -- the operation entries$D must return a | > list. | > | | You assume that 'entries' is succesful.
Indeed, for the specification doesn't say it can may fail. In case when an operation is partial, we usually have a return type of Union(D,"failed") -- or we have two variants with one being "IfCan". | But given infinite sequence I see: | | (4) -> entries(si) | | >> Error detected within library code: | infinite stream I believe this is evidence that this operation should not be provided as exports for domains that are not finite, which goes to my original observation. -- Gaby ------------------------------------------------------------------------------ AlienVault Unified Security Management (USM) platform delivers complete security visibility with the essential security capabilities. Easily and efficiently configure, manage, and operate all of your security controls from a single console and one unified framework. Download a free trial. http://p.sf.net/sfu/alienvault_d2d _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
