Ralf Hemmecke wrote:
>
> On 03/27/2015 12:15 AM, Waldek Hebisch wrote:
> > As was mentioned, if we get hash and equality
> > as argument we do not need SetCategory. So I think that
> > Key should be just Type and single argument 'table' should
> > be conditional on SetCategory.
>
> If we do this, then there are some more places to be considered.
>
> TableAggregate(Key, Entry) currently requires Key: SetCategory. That is
> probably because it inherits from KeyedDictionary and IndexedAggregate.
>
> I would find it a little odd, if XHashTable cannot inherit from
> TableAggregate if Key is just of type Type.
I think that categories should make only minimal requirements on
parameters. So it is natural to generalize TableAggregate to
require only Type on first parameter. Some operations may be
conditional, for example 'removeDuplicates' assumes notion of
equality, so it make sense to require BasicType.
Specific domains should make suitable restrictions on parameters,
depending on what they need.
--
Waldek Hebisch
[email protected]
--
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 http://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
