On Tue, Sep 13, 2016 at 6:12 PM, Waldek Hebisch <hebi...@math.uni.wroc.pl>
wrote:
> oldk1331 wrote:
> >
> > I see this change in openaxiom,
> > https://github.com/GabrielDosReis/open-axiom/commit/
> 67f8ca75d03aad7f041d8650ddca4d4cd0b71371
> >
> > It seems reasonable, but instead of remove map/map!,
> > we should move it into PrimitiveArray.
> > (BTW, map/map! in PrimitiveArray is from IndexedAggregate,
> > much slower than IARRAY.)
> >
> > Should I make this change?
>
> Inheriting from PrimitiveArray is dangerous: due to different
> indexing all operations from PrimitiveArray are potentially
> wrong for IARRAY. Operations which are safe to inherit are
> exceptional. So the Open Axiom change looks undesirable.
>
I believe that inheritance is correct and safe in OpenAxiom. I don't know
whether it is appropriate in other AXIOMs.
OpenAxiom implements domain inlining, which takes advantage of domain
inheritance.
-- Gaby
------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, SlashDot.org! http://sdm.link/slashdot
_______________________________________________
open-axiom-devel mailing list
open-axiom-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
